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.
From MaRDI portal
Publication:2565504
DOI10.1007/B135596zbMath1070.68004OpenAlexW2916183516MaRDI QIDQ2565504
No author found.
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)
Uses Software
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.
