B'98
Subtitle: recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
By: Didier Bert (ed.)
Contributors: Bert, Didier.
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 311
Subjects: B method (Computer science) -- Congresses; Debugging in computer science -- Congresses
Other titles: Recent advances in the development and use of the B method
Notes: Includes bibliographical references and index.