TY  - RPRT
TI  - Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
AU  - Stefan Zetzsche
AU  - Wojciech Rozowski
PY  - 2024
UR  - https://arxiv.org/abs/2409.09889
ID  - 2409.09889
ER  -