Derrick, John (ed.); Fitzgerald, John (ed.); Gnesi, Stefania (ed.); Khurshid, Sarfraz (ed.); Leuschel, Michael (ed.); Reeves, Steve (ed.); Riccobene, Elvinia (ed.) Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18–21, 2012. Proceedings. (English) Zbl 1245.68005 Lecture Notes in Computer Science 7316. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). xv, 378 p. (2012). For the preceding conference see Zbl 1181.68004. Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Q60 Specification and verification (program logics, model checking, etc.) 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1181.68004 PDFBibTeX XMLCite \textit{J. Derrick} (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18--21, 2012. Proceedings. Berlin: Springer (2012; Zbl 1245.68005) Full Text: DOI