Jim Woodcock - Böcker

Software Engineering for Robotics

Software Engineering for Robotics

Dependable Software Engineering. Theories, Tools, and Applications

7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Refinement Techniques in Software Engineering

First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Domain Modeling and the Duration Calculus

International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings