VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 Guttman Joshua D. Heftet / 2012 / Engelsk
VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 Guttman Joshua D. Innbundet / 1995 / Engelsk
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows Guttman Joshua D. Heftet / 2019 / Engelsk
