Jonathan P. Bowen - Böcker

Electronic Visualisation in Arts and Culture

Formal Methods: State of the Art and New Directions

Electronic Visualisation in Arts and Culture

Formal Methods: State of the Art and New Directions

Industrial-Strength Formal Methods in Practice

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Arts and Computational Culture: Real and Virtual Worlds

Arts and Computational Culture: Real and Virtual Worlds

Provably Correct Systems

Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Provably Correct Systems

Museums and Digital Culture

New Perspectives and Research

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

ZB 2000: Formal Specification and Development in Z and B

First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

High-Integrity System Specification and Design

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings