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

A contribution from

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]