The First Twenty-Five Years of Industrial Use of the B-Method.

Michael J. Butler, Philipp Krner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin

Browse the full FMICS paper archive.