Title: Abstract State Machines Alloy B And Z
Subjects: Logic design, Computational complexity, Computer science, Computer software, Machine theory, B method (Computer science), Congresses, Z (Computer program language)