Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings Frappier Marc Heftet / 2010 / Engelsk
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings Derrick John Heftet / 2012 / Engelsk
