Search results for: Michael Butler
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 79-93
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 345-359
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 140-161
Electronic Notes in Theoretical Computer Science > 2005 > 111 > Complete > 113-136