Abstract State Machines, Alloy, B, VDM, and Z  Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /  [electronic resource] : 
edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XV, 378 p. 133 ill.) 
 - Lecture Notes in Computer Science,  7316  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642308857 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computers.<br/>Algorithms.<br/>Computer logic.<br/>Computer science--Mathematics.