Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2005
  • Author: Patrick Cousot (auth.), Radhia Cousot (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.)
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.)
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (eds.)
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)
Justice and Health Care
  • PDF
  • English
  • Year: 1981
  • Author: Allen Buchanan (auth.), Earl E. Shelp (eds.)
search