July 2, 2019
The History and Evolution of B and Event-B
Authors
Philipp Körner, Sebastian Krings, Michael Butler, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
Venue
HFM 2019
Bibtex
@InProceedings(butler2020first,
Author = {K{\"o}rner, Philipp and Krings, Sebastian and Butler, Michael and Lecomte, Thierry and Leuschel, Michael and Mejia, Luis-Fernando and Voisin, Laurent},
Title = {{The History and Evolution of B and Event-B}},
Booktitle = {Proceedings Formal Methods 2019 Workshops, Part II},
Year = 2020,
Series = {Lecture Notes in Computer Science},
Volume = 12233,
Pages = {10--12},
Publisher = {Springer}
)