Languages
Joshi, Rajeev.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
NASA formal methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings /
by:
Havelund, Klaus.; Holzmann, Gerard.; Joshi, Rajeev.; SpringerLink (Online service)
(Electronic resources)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
Joshi, Rajeev.; Muller, Peter.; Podelski, Andreas.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer software- Verification
Computer Science.