bib.howest.be Zoekresultaten

U zocht naar: Auteur Kroening

1 - 7 van 7

1. Decision Procedures

Auteur:: Kroening; Strichman, Ofer
Uitgever:: Springer Berlin Heidelberg 2016
Type:: e-book

2. Verified Software: Theories, Tools and Experiments

Auteur:: Giannakopoulou; Kroening, Daniel
Uitgever:: Springer International Publishing 2014
Type:: e-book

3. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Auteur:: Kroening; Păsăreanu, Corina S.
Uitgever:: Springer International Publishing 2015
Type:: e-book

4. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Auteur:: Kroening; Păsăreanu, Corina S.
Uitgever:: Springer International Publishing 2015
Type:: e-book

5. Validation of Evolving Software

Auteur:: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Uitgever:: Springer International Publishing 2015
Type:: e-book

6. Hardware and Software: Verification and Testing

Auteur:: Barner, Sharon; Harris, Ian; Kanade, Takeo; Kroening, Daniel; Raz, Orna
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

7. Decision Procedures

Auteur:: Kroening, Daniel; Brauer, W.; HromkoviÄ, J.; Strichman, Ofer; Bryant, R. E.; Rozenberg, G.
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book