Abstract State Machines, Alloy, B, VDM, and Z: Third

Abstract State Machines, Alloy, B, VDM, and Z: Third Inteational Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 385 pages

Publisher: Springer (June 12, 2012)

Language: English

ISBN-10: 3642308848