J. P. Bowen profile picture

J. P. Bowen

Is this your author profile? Create an account to customize it!

Stand Alone

High-integrity system specification and design
Z User Workshop, Cambridge 1994
EVA London 2010 Electronic Visualisation and the Arts : Proceedings of EVA London 2010, BCS London, 5 Southampton Street, London, 5-7 July 2010
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 (Workshops in Computing)
Applications of formal methods