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 (Toimittaja)
, Jonathan Bowen (Toimittaja)
, Steve King (Toimittaja)
, Marina Walden (Toimittaja)

Informaatioteknologia

Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Julkaisupaikka	Heidelberg
Kustantaja	Springer-Verlag
ISBN (elektroninen)	3-540-40253-5
ISBN (painettu)	3-540-44880-2
Tila	Julkaistu - 2003
OKM-julkaisutyyppi	C2 Toimitettu teos

Julkaisusarja

Nimi	LNCS
Vuosikerta	2651
ISSN (painettu)	0302-9743

Viittausmuodot

@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 (Toimittaja); Bowen, Jonathan (Toimittaja); King, Steve (Toimittaja) et al.
Heidelberg: Springer-Verlag, 2003. (LNCS; Vuosikerta 2651).

Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

Abstrakti

Julkaisusarja

Sormenjälki

Viittausmuodot