Search

You searched for: Auteur Chaudhuri, Swarat Remove constraint Auteur: Chaudhuri, Swarat
1 - 3 of 3
Number of results to display per page

Search Results

1. NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
thumbnail
Full text!
Author:
Rozier, Kristin Yvonne.; Chaudhuri, Swarat
Publisher:
Cham Springer 2023
Format:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Author:
Swarat Chaudhuri, Azadeh Farzan; Farzan, Azadeh
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Computer Aided Verification
thumbnail
Full text!
Author:
Swarat Chaudhuri, Azadeh Farzan; Farzan, Azadeh
Publisher:
Springer International Publishing 2016
Format:
e-book