Jonathan P. Bowen profile picture

Jonathan P. Bowen

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

Stand Alone

The Z formal specification notation
ZB 2003
High-Integrity System Specification and Design
The Z formal specification notation
ZUM '95: The Z Formal Specification Notation
Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
Museums and Digital Culture: New Perspectives and Research
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Theories of Programming and Formal Methods
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems