EasyChair Smart SlideDocs/Log in
Conference: HFM2019 (History of Formal Methods 2019)

This page shows all presentations from this conference published in EasyChair Smart Slide.

The History and Evolution of B and Event-B

The History and Evolution of B and Event-B

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

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair