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

Main Author: Bert, Didier
Other Authors: Bowen, Jonathan P, King, Steve, Waldén, Marina
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540448808
978-3-540-40253-4