Search Results - Guttman, Joshua D.

VLISP a verified implementation of scheme a special issue of Lisp and symbolic computation, an international journal Vol. 8, Nos. 1 & 2 March 1995 /

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)

Protocols, strands, and logic : essays dedicated to Joshua Guttman on the the occasion of his 66.66th birthday /

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)

Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, the Netherlands, November 5-6, 2009, revised selected papers /

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)

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,...

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)

Formal aspects of security and trust 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)

Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows /

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)

Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday /

Other Authors: “…Guttman, Joshua D.…”
Full Text (via Springer)