Author

Rajeev Joshi

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
4 Angels

4 Angels

Year unknown
NASA Formal Methods

NASA Formal Methods

Year unknown Klaus Havelund, Gerard Holzmann, and Rajeev Joshi
Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Year unknown
Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings

Verified Software Theories Tools Experiments 4th International Conference Vstte 2012 Philadelphia Pa Usa January 2829 2012 Proceedings

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.