Search

You searched for: Auteur Păsăreanu, Corina Remove constraint Auteur: Păsăreanu, Corina
1 - 5 of 5
Number of results to display per page

Search Results

1. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
thumbnail
Full text!
Author:
Kroening; Păsăreanu, Corina S.
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
thumbnail
Full text!
Author:
Kroening; Păsăreanu, Corina S.
Publisher:
Springer International Publishing 2015
Format:
e-book
3. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Radu Calinescu; Păsăreanu, Corina S.
Publisher:
Springer International Publishing 2021
Format:
e-book
4. Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
thumbnail
Full text!
Author:
Huisman, Marieke.; Păsăreanu, Corina; Zhan, Naijun
Publisher:
Cham Springer International Publishing AG 2021
Format:
e-book
5. Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
thumbnail
Full text!
Author:
Seidl, Helmut.; Liu, Zhiming; Pasareanu, Corina S.
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book