×

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.

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
Full Text: DOI