Search

You searched for: Auteur Holzmann, Gerard Remove constraint Auteur: Holzmann, Gerard
1 - 2 of 2
Number of results to display per page

Search Results

1. NASA Formal Methods
thumbnail
Full text!
Author:
Havelund; Holzmann, Gerard; Joshi, Rajeev
Publisher:
Springer International Publishing 2015
Format:
e-book
2. NASA Formal Methods
thumbnail
Full text!
Author:
Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev; Kanade, Takeo; Holzmann, Gerard
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book