B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings /
International B Conference
Bert, Didier
Springer Berlin Heidelberg
B method (Computer science)
Debugging in computer science