Nasa formal methods :  7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings / 
edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. 
 - xiii, 458 páginas :  115 ilustraciones 
 - Lecture Notes in Computer Science,  9058  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/><label>ISBN: </label>9783319175249 
<br/><br/><label>LC Class. No.: </label>QA76.758