Dependable Software Engineering. Theories, Tools, and ApplicationsShengchao Qin, Jim Woodcock, Wenhui Zhang · First published 2021Open the Tome
Software Engineering for RoboticsAna Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock · First published 2021Open the Tome
Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu, Jim Woodcock, Huibiao Zhu · First published 2013Open the Tome
Theories of Programming and Formal MethodsZhiming Liu, Jim Woodcock, Huibiao Zhu · First published 2013Open the Tome
Unifying Theories of Programming and Formal Engineering MethodsZhiming Liu, Jim Woodcock, Huibiao Zhu · First published 2013Open the Tome
Formal Methods Foundations and Applications Lecture Notes in Computer ScienceJim Woodcock · First published 2010Open the Tome
Formal Methods : Foundations and ApplicationsMarcel Vinícius Medeiros Oliveira, Jim Woodcock · First published 2009Open the Tome
Formal Methods and Hybrid Real-Time SystemsCliff B. Jones,Jim Woodcock,Zhiming Liu · First published 2008Open the Tome
Refinement Techniques in Software EngineeringJim Woodcock,Ana Cavalcanti,Augusto Sampaio · First published 2008Open the Tome
Verified Software : Theories, Tools, ExperimentsNatarajan Shankar, Jim Woodcock · First published 2008Open the Tome
Domain Modeling and the Duration CalculusChris George, Zhiming Liu, Jim Woodcock · First published 2007Open the Tome
Formal methods and hybrid real-time systemsD. Bjørner, Jones, C. B., Jim Woodcock · First published 2007Open the Tome
Refinement Techniques in Software EngineeringAna Cavalcanti, Augusto Sampaio, Jim Woodcock · First published 2006Open the Tome
Mathematics of program constructionBird, Richard, Carroll Morgan, Jim Woodcock · First published 1993Open the Tome
