Jonathan P. Bowen FBCS FRSA is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Wikipedia
Place of birth: Oxford, United Kingdom
Parents: Humphry Bowen
Affiliation: London South Bank University
Research interests: Computer Science, Software Engineering, Formal Methods, and more
Books
The Turing Guide
2017
Formal Specification and Documentation Using Z: A Case Study Approach
1996
High-Integrity System Specification and Design
1999
Formal Specification of Window Systems
1989
EVA London 2009: Electronic Visualisation and the Arts : Proceedings of EVA London 2009, BCS London, 5 Southampton Street, London WC2E 7HA, 6-8 July 2009
2009