Deshmukh, Jyotirmoy books & textbook
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Programming and Software Engineering)
Deshmukh, Jyotirmoy Ničković, Dejan
Springer /2020-10-08 Paperback / 560 Pages
isbn-10: 3030605078 / isbn-13: 9783030605070
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
