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)

Tutkimustuotos: Kirja/lehti/raporttiAntologia/toimitettu lehtiTieteellinenvertaisarvioitu

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äiskieliEnglanti
JulkaisupaikkaHeidelberg
KustantajaSpringer-Verlag
ISBN (elektroninen)3-540-40253-5
ISBN (painettu)3-540-44880-2
TilaJulkaistu - 2003
OKM-julkaisutyyppiC2 Toimitettu teos

Julkaisusarja

NimiLNCS
Vuosikerta2651
ISSN (painettu)0302-9743

Sormenjälki

Sukella tutkimusaiheisiin 'ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot