Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22--25, 2010. Proceedings
scientific article; zbMATH DE number 5673933