Search results for: Jim Woodcock
Software & Systems Modeling > 2019 > 18 > 5 > 3097-3149
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Invited Papers > 15-34
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Refinement > 284-307
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The INESS Project > 147-165
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Refinement > 697-716
Lecture Notes in Computer Science > FM 2006: Formal Methods > Industry Day: Abstracts of Invited Talks > 617-617
Lecture Notes in Computer Science > FM 2011: Formal Methods > Security > 246-261
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 381-399