Abstract state machines, Alloy, B, VDM, and Z [electronic resource] : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / John Derrick [and others] (eds.)

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submission...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	ABZ (Conference) Pisa, Italy)
Other Authors:	Derrick, John, 1963-
Other title:	ABZ 2012.
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2012.
Series:	Lecture notes in computer science ; 7316. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Machine learning > Congresses. Formal methods (Computer science) > Congresses. Formal methods (Computer science) Machine learning. Conference papers and proceedings.