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
Software Engineer

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

Related