Search results for: Steve Reeves
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 344-362
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 454-471
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Concurrent and Distributed Systems > 128-139
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 103-126
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 120-134
Lecture Notes in Computer Science > Integrated Formal Methods > Foundation of One Formalism by Another > 255-276
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Semantic Theory > 172-191
Innovations in Systems and Software Engineering > 2013 > 9 > 3 > 201-215