Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Patrick Cousot (auth.), Radhia Cousot (eds.)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.)
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2005
  • Author: Radhia Cousot
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Ittai Balaban, Amir Pnueli, Lenore D. Zuck (auth.), Farn Wang (eds.)
search