Email Address * *
Name
Subject *
Message * Formal Methods - Formal methods Abstract State Machines, B-Method, Books, CSP, Documents, Education, Model checking, ProCoS, Projects, Publications, Theorem provers, Tools, VDM, Z notation, ABZ, ABZ 2010, ABZ 2012, ABZ, ABZ 2010 - 1234695618 - 9781234695613