Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (eds.)
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (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.)
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)
Foundations of Software Technology and Theoretical Computer Science: 11th Conference, New Delhi, India December 17–19, 1991 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Manuel Blum (auth.), Somenath Biswas, Kesav V. Nori (eds.)
Digital Forensics and Cyber Crime: First International ICST Conference, ICDF2C 2009, Albany, NY, USA, September 30-October 2, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Sriram Raghavan, S. V. Raghavan (auth.), Sanjay Goel (eds.)
search