Engineering Trustworthy Software SystemsJonathan P. Bowen, Andrea Turrini · First published 2026Open the Tome
Theories of Programming and Formal MethodsJonathan P. Bowen, Qin Li, Qiwen Xu · First published 2023Open the Tome
EVA London 2020Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel · First published 2020Open the Tome
EVA London 2018Jonathan P. Bowen, Graham Diprose, Nick Lambert, Jon Weinel · First published 2018Open the Tome
Provably Correct SystemsMike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog · First published 2017Open the Tome
Electronic Visualisation in Arts and CultureJonathan P. Bowen, Suzanne Keene, Kia Ng · First published 2013Open the Tome
ZUM '98 : the Z Formal Specification NotationJonathan P. Bowen, Andreas Fett, Michael G. Hinchey · First published 2011Open the Tome
Abstract State Machines, B and ZEgon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca · First published 2008Open the Tome
Formal Methods and TestingMark Harman,Jonathan P. Bowen,Robert M. Hierons · First published 2008Open the Tome
ZB 2000 : Formal Specification and Development in Z and BJonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King · First published 2003Open the Tome
ZB 2002 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson · First published 2003Open the Tome
ZB 2003 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Steve King, Marina Waldén · First published 2003Open the Tome
Industrial-Strength Formal Methods in PracticeMichael G Hinchey, Jonathan P Bowen · First published 1999Open the Tome
