Invited Talk: Formalized Regular Expression Equivalence and Relation Algebra (in Isabelle/HOL)

International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, September 2012 (Alexander Krauss)

Alexander Krauss