Zoeken

U zocht naar: Auteur Deshmukh, Jyotirmoy V. Filter Auteur: Deshmukh, Jyotirmoy V. weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

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