Abstract state machines, alloy, b, tla, vdm, and z :  4th international conference, abz 2014, toulouse, france, june 2-6, 2014. Proceedings / 
edited by Yamine Ait Ameur, Klaus-Dieter Schewe. 
 - xvi, 336 páginas :  93 ilustraciones 
 - Lecture Notes in Computer Science,  8477  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/>Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements. 
<br/><br/><label>ISBN: </label>9783662436523 
<br/><br/><label>LC Class. No.: </label>QA8.9-QA10.3