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 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.)
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Randal E. Bryant (auth.), Bernhard Steffen (eds.)
Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
search