Jyotirmoy Deshmukh
Identifiers
- Open LibraryOL9991256A
Books by Jyotirmoy Deshmukh
Total count: 2
-
Runtime Verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, ProceedingsSpringer International Publishing AG2020-01-01
-
NASA Formal Methods14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, ProceedingsSpringer International Publishing AG2022-01-01