Showing 1 - 3 results of 3 for search 'Rajamani, Sriram K.', query time: 0.02s Narrow Search
  1. 1
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    Published 2005
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
    Published 2003
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    Published 2010
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: