A - BZ 2010:
Orford, QC, UK
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.):
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings.
Lecture Notes in Computer Science 5977 Springer 2010, ISBN 978-3-642-11810-4
Invited Talks
ASM Papers
Alloy Papers
Mark C. Reynolds:
Lightweight Modeling of Java Virtual Machine Security Constraints.
146-159
B Papers
David Déharbe:
Automatic Verification for a Class of Proof Obligations with SMT-Solvers.
217-230
Z Papers
ABZ Short Papers (Abstracts)