The History and Evolution of B and Event-B

Sebastian Krings, Michael Butler, Philipp Körner, Thierry Lecomte, Michael Leuschel, Laurent Voisin
June, 2019
PDF Project
Publication
Extended Abstract and Talk at the History of Formal Methods Workshop (HFM 2019)
Formal Methods ProB
Sebastian Krings
Sebastian Krings
Software Engineer

My interests include software analysis, formal methods and offensive security.