Zoeken

U zocht naar: Auteur Păsăreanu, Corina Filter Auteur: Păsăreanu, Corina weghalen Taal Engels Filter Taal: Engels weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. 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
2. 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
3. Software Engineering and Formal Methods
thumbnail
Full text!
Auteur:
Radu Calinescu; Păsăreanu, Corina S.
Uitgever:
Springer International Publishing 2021
Type:
e-book
4. Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
thumbnail
Full text!
Auteur:
Huisman, Marieke.; Păsăreanu, Corina; Zhan, Naijun
Uitgever:
Cham Springer International Publishing AG 2021
Type:
e-book
5. 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