TY  - BOOK
AU  - Derrick,John
AU  - Fitzgerald,John
AU  - Gnesi,Stefania
AU  - Khurshid,Sarfraz
AU  - Leuschel,Michael
AU  - Reeves,Steve
AU  - Riccobene,Elvinia
TI  - Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings 
SN  - 9783642308857
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computers
KW  - Algorithms
KW  - Computer logic
KW  - Mathematics
UR  - http://dx.doi.org/10.1007/978-3-642-30885-7
ER  -