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
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
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Degano Pierpaolo Heftet / 2012 / Engelsk
Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers Degano Pierpaolo Heftet / 2010 / Engelsk
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers Degano Pierpaolo Heftet / 2009 / Engelsk
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows Guttman Joshua D. Heftet / 2019 / Engelsk
