Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
  • PDF
  • English
  • Year: 1995
  • Author: Joshua D. Guttman, John D. Ramsdell (auth.), Joshua D. Guttman, Mitchell Wand (eds.)
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
  • PDF
  • English
  • Year: 2012
  • Author: Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Oliver Rüthing (auth.), Giorgio Levi (eds.)
Information and Communications Security: 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: George Coker, Joshua Guttman, Peter Loscocco, Justin Sheehy, Brian Sniffen (auth.), Liqun Chen, Mark D. Ryan, Guilin Wang (eds.)
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
search