B 2007
Subtitle: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
By: Jacques Julliand, Olga Kouchnarenko (eds.).
Contributors: Julliand, Jacques.; Kouchnarenko, Olga.
Series: Lecture notes in computer science -- 4355
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 292
ISBN-13: 9783540687603
Subjects: B method (Computer science) -- Congresses; Debugging in computer science -- Congresses
Genres: Congresses.
Other titles: 7th International Conference of B Users; Seventh International Conference of B Users; International Conference of B Users
Notes: Includes bibliographical references and index.