ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4--6, 2003. Proceedings

DOI10.1007/3-540-44880-2zbMath1020.00016OpenAlexW2498046939WikidataQ56939904 ScholiaQ56939904MaRDI QIDQ1407695

No author found.

Publication date: 16 September 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2651.htm

zbMATH Keywords

Formal specificationDevelopment in BDevelopment in ZTurku (Finland)ZB 2003

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

An analysis of refinement in an abortive paradigm ⋮ An automatically verified prototype of the Android permissions system

This page was built for publication: ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4--6, 2003. Proceedings