• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

ZB2003: Formal Specification and Development in Z and B

Didier Bert, Jonathan Bowen, Steve King, Marina Waldén (Eds.), ZB2003: Formal Specification and Development in Z and B, Lecture Notes in Computer Science, Springer-Verlag, 2003.

Abstract:

These proceedings record the papers presented at the third International Conference of B and Z Users (ZB2003) held in Turku, Finland, June 4-6 2003. B and Z are two important formal methods that share a common conceptual origin; they are leading approaches in industry and academia for the specification and development (using formal refinement) of computer-based systems.

BibTeX entry:

@PROCEEDINGS{pBeBoKiWa03a,
  title = {ZB2003: Formal Specification and Development in Z and B},
  number = {2651},
  series = {Lecture Notes in Computer Science},
  editor = {Bert, Didier and Bowen, Jonathan and King, Steve and Waldén, Marina},
  publisher = {Springer-Verlag},
  year = {2003},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication