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}
)

Available at:

About

Tags: publications B survey