Search

You searched for: Auteur Chockler Remove constraint Auteur: Chockler
1 - 5 of 5
Number of results to display per page

Search Results

1. Collaborative Financial Infrastructure Protection
thumbnail
Full text!
Author:
Baldoni, Roberto; Chockler, Gregory
Publisher:
Dordrecht Springer Berlin Heidelberg 2012
Format:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Author:
Chockler; Georg Weissenbacher; Weissenbacher, Georg
Publisher:
Springer International Publishing 2018
Format:
e-book
3. Computer Aided Verification
thumbnail
Full text!
Author:
Chockler; Georg Weissenbacher; Weissenbacher, Georg
Publisher:
Springer International Publishing 2018
Format:
e-book
4. Validation of Evolving Software
thumbnail
Full text!
Author:
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Publisher:
Springer International Publishing 2015
Format:
e-book
5. Hardware and Software: Verification and Testing
thumbnail
Full text!
Author:
Chockler, Hana; Hu, Alan J.; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book