ZB 2002: formal specification and development in Z and B
Subtitle: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
By: Didier Bert ... [et al.] (eds.).
Contributors: Bert, Didier.
Series: Lecture notes in computer science,; 2272
Publisher: Springer
Published: 2002
Place of publication: Berlin
Language: eng
Number of pages: 534
Subjects: B (Computer program language) -- Congresses; Z (Computer program language) -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references.