ZB 2005
Subtitle: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
By: Helen Treharne ... [et al.] (eds.).
Contributors: Treharne, Helen.
Series: Lecture notes in computer science,; 3455
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 491
ISBN-13: 9783540255598
Subjects: B (Computer program language) -- Congresses.; Z (Computer program language) -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.
Conference proceedings.