Abstract State Machines, Alloy, B and Z
Subtitle: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
ISBN-13: 9783642118111