The History and Evolution of B and Event-B

Publication
Extended Abstract and Talk at the History of Formal Methods Workshop (HFM 2019)
Sebastian Krings
Sebastian Krings
Postdoc

My research interests include formal methods and tools as well as software safety and security.

Related