Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.)
Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)
Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)
Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)
Information Systems Security: 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Sriram K. Rajamani (auth.), Somesh Jha, Anish Mathuria (eds.)
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aditya V. Nori, Sriram K. Rajamani (auth.), Hongseok Yang (eds.)
search