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

Forskningsoutput: Bok/tidskrift/rapportAntologi/redigerad tidskriftVetenskapligPeer review

Sammanfattning

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.
OriginalspråkEngelska
UtgivningsortHeidelberg
FörlagSpringer-Verlag
ISBN (elektroniskt)3-540-40253-5
ISBN (tryckt)3-540-44880-2
StatusPublicerad - 2003
MoE-publikationstypC2 Redigerade böcker

Publikationsserier

NamnLNCS
Volym2651
ISSN (tryckt)0302-9743

Fingeravtryck

Fördjupa i forskningsämnen för ”ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här