Rajeev Joshi
2 published titles
Verified software : theories, tools, experiments ; 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 proceedings
(Contributor)
1 edition
- ISBN: 9783642277047
- Springer
- 2012
- Details
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
(Contributor)
1 edition
- ISBN: 9783319175232
- Springer
- 2015
- Details
