Joshua Guttman profile picture

Joshua Guttman

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers
Principles of Security and Trust Lecture Notes in Computer Science
VLISP A Verfied Implementation of Scheme
Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
VLISP: a verified implementation of scheme
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995