Sriram K. Rajamani
Identifiers
- Open LibraryOL9699145A
Top Subjects
- Computer software, verification (2)
- Computers, congresses (1)
- Computer files (1)
- Computer programs (1)
- Integrated circuits (1)
Books by Sriram K. Rajamani
Total count: 3
-
Model Checking Software10th International SPIN Workshop. Portland, or, USA, May 9-10, 2003, ProceedingsSpringer London, Limited2003-01-01
-
Computer Aided Verification17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, ProceedingsSpringer London, Limited2005-01-01
-
Verified Software : Theories, Tools, ExperimentsThird International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, ProceedingsSpringer London, Limited2010-01-01