Search

You searched for: Auteur Păsăreanu, Corina S. Remove constraint Auteur: Păsăreanu, Corina S.
1 - 4 of 4
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. 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