The History and Evolution of B and Event-B

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

My research interests include formal methods, model checking and logic programming.

Related