Jim Woodcock
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
14
Domain Modeling and the Duration Calculus
St. Louis Blues hockey club, 1967-2002
Verified Software : Theories, Tools, Experiments
Theoretical Aspects of Computing -- ICTAC 2013
Software Engineering for Robotics
Software engineering mathematics
Formal methods and hybrid real-time systems
Theories of Programming and Formal Methods
Mathematics of program construction
Using Z
Refinement Techniques in Software Engineering
Formal Methods : Foundations and Applications
Unifying Theories of Programming and Formal Engineering Methods
