ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Didier Bert; Jonathan Bowen; Steve King; Marina Walden

ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Didier Bert (Editor), Jonathan Bowen (Editor), Steve King (Editor), Marina Walden (Editor)

Information Technology

Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

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.

Original language	English
Place of Publication	Heidelberg
Publisher	Springer-Verlag
ISBN (Electronic)	3-540-40253-5
ISBN (Print)	3-540-44880-2
Publication status	Published - 2003
MoE publication type	C2 Edited work

Publication series

Name	LNCS
Volume	2651
ISSN (Print)	0302-9743

Cite this

@book{7e8149bb050146969ec1a665c349f21f,

title = "ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings",

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.",

editor = "Didier Bert and Jonathan Bowen and Steve King and Marina Walden",

year = "2003",

language = "English",

isbn = "3-540-44880-2",

series = "LNCS",

publisher = "Springer-Verlag",

}

ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. / Bert, Didier (Editor); Bowen, Jonathan (Editor); King, Steve (Editor) et al.
Heidelberg: Springer-Verlag, 2003. (LNCS; Vol. 2651).

Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

TY - BOOK

T1 - ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

A2 - Bert, Didier

A2 - Bowen, Jonathan

A2 - King, Steve

A2 - Walden, Marina

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Edited Book/Edited Journal

SN - 3-540-44880-2

T3 - LNCS

BT - ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

PB - Springer-Verlag

CY - Heidelberg

ER -

ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Abstract

Publication series

Fingerprint

Cite this