Skip to main content

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

  • Conference proceedings
  • © 2003


Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2651)

Included in the following conference series:

Conference proceedings info: ZB 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions


Table of contents (31 papers)

Editors and Affiliations

  • Laboratoire LSR-IMAG, CNRS, Saint-Martin-d’Heres Cedex, France

    Didier Bert

  • CISM, London South Bank University, London, UK

    Jonathan P. Bowen

  • Department of Computer Science, University of York, Heslington, York, UK

    Steve King

  • Department of Computer Science, Åbo Akademi University, Turku, Finland

    Marina Waldén

Bibliographic Information

Publish with us