Search results for: John Derrick
Formal Aspects of Computing > 2018 > 30 > 5 > 597-625
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Application > 201-217
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 81-96
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 4. Z Papers > 280-293
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 644-664
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 111-126
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 286-303
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 24-44
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Method Integration > 108-119