B method (Computer science)

The B-method (Cornerstones of Computing)

Steve Schneider

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Michael Butler

Modeling in event-b: system and software engineering

Jean-Raymond Abrial.

Abstract State Machines Alloy B And Z Second International Conference Abz 2010 Orford Qc Canada February 2225 2010 Proceedings

Uwe Glasser

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

Jacques Julliand, Olga Kouchnarenko (eds.).

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)

The B-Book: Assigning Programs to Meanings

J. R. Abrial

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (Lecture Notes in Computer Science)

Bert Didier

B'98: recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

Didier Bert (ed.)

The B-book