I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

NASA Formal Methods 

5th International Symposium, NFM 2013, Moffett Field, CA, U...  Lecture Notes in Computer Science ; 7871;SpringerLink, Bücher
Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud , 2013
Link: https://doi.org/10.1007/978-3-642-38088-4