Books by Jim Woodcock
Software Engineering for Robot
Software Engineering for Robotics
Theoretical Aspects of Computing -- ICTAC 2013
Unifying Theories of Programmi
Unifying Theories of Programming and Formal Engineering Methods
Formal Methods Foundations and Applications
Lecture Notes in Computer Science
Domain Modeling and the Duration Calculus
St. Louis Blues hockey club, 1967-2002
Using Z