Joshua Guttman

Born: 1955

No bio available. Add one in Open Library.

Born: 1955

Books by Joshua Guttman (50 max)

+ shelf+ list

VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995

1995

Joshua Guttman, Mitchell Wand

+ shelf+ list

Logical constants and logical objects

1984

Joshua Guttman

+ shelf+ list

Formal Aspects In Security And Trust 5th International Workshop Fast 2008 Malaga Spain October 910 2008 Revised Selected Papers

2009

Joshua Guttman

+ shelf+ list

Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

2009

Pierpaolo Degano, Joshua Guttman, Fabio Martinelli

+ shelf+ list

Formal Aspects in Security and Trust

2011

Pierpaolo Degano, Joshua Guttman

+ shelf+ list

Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... March 24 - April 1, 2012, Proceedings

2012

Pierpaolo Degano, Joshua Guttman

+ shelf+ list

Principles of Security and Trust Lecture Notes in Computer Science

2012

Joshua Guttman

+ shelf+ list

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

2019

Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic

+ shelf+ list

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

2020

Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov