Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Record details
- ISBN: 9783642308857
-
Physical Description:
electronic
electronic resource
access
remote
XV, 378 p. 133 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.