![](/img/cover-not-exists.png)
The VLISP verified Scheme system
Joshua D. Guttman, John D. Ramsdell, Vipin SwarupVolume:
8
Language:
english
Pages:
78
DOI:
10.1007/bf01128407
Date:
March, 1995
File:
PDF, 3.52 MB
english, 1995