The VLISP Verified Scheme System

Authors
J.D.Guttman,V.Swarup,J.Ramsdell
Citation
J.d.guttman,v.swarup,j.ramsdell, The VLISP Verified Scheme System, LISP and symbolic computation , 8(1/2), 1995, pp. 33-110
Journal title
LISP and symbolic computation → ACNP
ISSN journal
08924635
Volume
8
Issue
1/2
Year of publication
1995
Pages
33 - 110
Database
ACNP
SICI code