ABZ 2012: 3rd International ABZ 2012 Conference on Abstract State Machines (ASM), Alloy, B, VDM, Z 2012

June 19, 2012-June 22, 2012 in Pisa, Italy

Conference Program