HFM2019: HISTORY OF FORMAL METHODS 2019
SLIDES

The History and Evolution of B and Event-B

Sebastian Krings, Michael Butler, Philipp Koerner, Thierry Lecomte, Michael Leuschel and Laurent Voison