J
Jim Woodcock
15 works on record
Works
Formal methods and hybrid real-time systems
Formal Methods Foundations and Applications Lecture Notes in Computer Science
Mathematics of program construction
Using Z
Theoretical Aspects of Computing -- ICTAC 2013
St. Louis Blues hockey club, 1967-2002
Software engineering mathematics
Refinement Techniques in Software Engineering
Refinement Techniques in Software Engineering
Software Engineering for Robotics
Software Engineering for Robotics
Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
Unifying Theories of Programming and Formal Engineering Methods
Unifying Theories of Programming and Formal Engineering Methods
Verified Software : Theories, Tools, Experiments
Verified Software : Theories, Tools, Experiments
Formal Methods : Foundations and Applications
Formal Methods : Foundations and Applications
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods