I agree that this site is using cookies. You can find further informations here.
X
Johnsen, Stein I.
1  results:
E-Books X
Search for persons X
?
1

Formal Methods for Executable Software Models 

14th International School on Formal Methods for the Design ...  Lecture Notes in Computer Science ; 8483;SpringerLink, Bücher
Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner.. , 2014
Link: https://doi.org/10.1007/..
 
1-1