Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.

Stefan Zetzsche, Wojciech Rozowski

Browse the full ICTAC paper archive.