J
Jonathan P. Bowen
16 works on record
Works
ZB 2003
The Z formal specification notation
ZUM '95: The Z Formal Specification Notation
High-Integrity System Specification and Design
Museums and Digital Culture
Electronic Visualisation in Arts and Culture
Unifying Theories of Programming
Provably Correct Systems
EVA London 2020
EVA London 2020
EVA London 2018
EVA London 2018
Abstract State Machines, B and Z
Abstract State Machines, B and Z
ZB 2000 : Formal Specification and Development in Z and B
ZB 2000 : Formal Specification and Development in Z and B
ZUM '98 : the Z Formal Specification Notation
ZUM '98 : the Z Formal Specification Notation
ZB 2003 : Formal Specification and Development in Z and B
ZB 2003 : Formal Specification and Development in Z and B
ZB 2002 : Formal Specification and Development in Z and B
ZB 2002 : Formal Specification and Development in Z and B
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods