Mtor: A Successful Application of B in a Large Project.

Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier

Browse the full FM paper archive.