Search results for: Jonathan P. Bowen
Lecture Notes in Computer Science > Integrated Formal Methods > Foundation of One Formalism by Another > 277-296
Lecture Notes in Computer Science > Transactions on Computational Science I > Part 1 - Information Systems Design > 1-36
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 291-308
Lecture Notes in Computer Science > Rigorous Methods for Software Construction and Analysis > 219-233
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Appendices > 367-406
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Optimization > 195-209
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Duration Calculus > 449-464
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Appendices > 407-416