Search

You searched for: Auteur Deshmukh, Jyotirmoy V. Remove constraint Auteur: Deshmukh, Jyotirmoy V.
1 entry found
Number of results to display per page

Search Results

1. NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
thumbnail
Full text!
Author:
Deshmukh, Jyotirmoy V.; Havelund, Klaus; Perez, Ivan
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book