Talks
Invited Talk: Formalized Regular Expression Equivalence and Relation Algebra (in Isabelle/HOL)
MiSE 2018/ICSE 2018, Göteborg (Schweden), Mai 2018 (Harald Störrle) Slides ansehen