August 12, 2020
The First Twenty-Five Years of Industrial Use of the B-Method
Authors
Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
Venue
FMICS 2020
Bibtex
@InProceedings(butler2020first,
Author = {Butler, Michael and K{\"o}rner, Philipp and Krings, Sebastian and Lecomte, Thierry and Leuschel, Michael and Mejia, Luis-Fernando and Voisin, Laurent},
Title = {{The First Twenty-Five Years of Industrial Use of the B-Method}},
Booktitle = {Proceedings FMICS (International Conference on Formal Methods for Industrial Critical Systems)},
Year = 2020,
Series = {Lecture Notes in Computer Science},
Volume = 12327,
Pages = {189--209},
Publisher = {Springer}
)
