Deshmukh, Jyotirmoy V. books & textbook
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science, 13260)
Deshmukh, Jyotirmoy V. Havelund, Klaus Perez, Ivan
Springer /2022-05-20 Paperback / 850 Pages
isbn-10: 303106772X / isbn-13: 9783031067723
