Zoeken

U zocht naar: Auteur Pasareanu, Corina S. Filter Auteur: Pasareanu, Corina S. weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
thumbnail
Full text!
Auteur:
Seidl, Helmut.; Liu, Zhiming; Pasareanu, Corina S.
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
thumbnail
Full text!
Auteur:
Kroening; Păsăreanu, Corina S.
Uitgever:
Springer International Publishing 2015
Type:
e-book
3. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
thumbnail
Full text!
Auteur:
Kroening; Păsăreanu, Corina S.
Uitgever:
Springer International Publishing 2015
Type:
e-book
4. Software Engineering and Formal Methods
thumbnail
Full text!
Auteur:
Radu Calinescu; Păsăreanu, Corina S.
Uitgever:
Springer International Publishing 2021
Type:
e-book