Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Sriram K. Rajamani | lit.salon

Author

Sriram K. Rajamani

SK

Author record

3 works

2003–2005 across 2 dated works

No biography is available yet.

Start with

Model Checking Software 10th International SPIN Workshop. Portland, or, USA, May 9-10, 2003, Proceedings2003
With Thomas Ball
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings2005
With Kousha Etessami

Books

3 works

Featured (2)Featured (2)All (3)All (3)

Search booksSort books

Model Checking Software 10th International SPIN Workshop. Portland, or, USA, May 9-10, 2003, Proceedings2003
With Thomas Ball
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings2005
With Kousha Etessami
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verified Software : Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings2010
With Gary T. Leavens, Peter O'Hearn
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Sriram K. Rajamani.

The conversation is still open.

There is no public salon activity to show for Sriram K. Rajamani yet.