ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13--15, 2005. Proceedings.

DOI10.1007/B135596MaRDI QIDQ2565504zbMATH OpenOpenAlexFDO

Authors

Publication date 27 September 2005

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

Full work available at URL https://doi.org/10.1007/b135596

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)

Review text

The articles of this volume will not be indexed individually. The preceding conference has been reviewed (see Zbl 1020.00016).

Describes a project that uses

Uses Software

Z/EVES

This page was built for publication: ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13--15, 2005. Proceedings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2565504)