Rajamani, Sriram K., 1970-
Rajamani, Sriram K.
Sriram K. Rajamani Ph.D. University of California, Berkeley 1999
VIAF ID: 53519761 ( Personal )
Permalink: http://viaf.org/viaf/53519761
Preferred Forms
-
-
- 100 1 _ ‡a Rajamani, Sriram K. ‡d 1970-
- 100 1 _ ‡a Rajamani, Sriram K., ‡d 1970-
-
-
-
- 100 1 _ ‡a Rajamani, Sriram K., ‡d 1970-
- 100 0 _ ‡a Sriram K. Rajamani ‡c Ph.D. University of California, Berkeley 1999
Works
Title | Sources |
---|---|
CAV 2005 | |
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings | |
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings | |
Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings |