Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., & Riccobene, E. (2012). Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene . — Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. — Online-Ressource (XV, 378p. 133 illus, digital). — (Lecture notes in computer science ; 7316). — ISBN 9783642308857