TY  - RPRT
TI  - Coqlex: Generating Formally Verified Lexers
AU  - Wendlasida Ouedraogo
AU  - Gabriel Scherer
AU  - Lutz Strassburger
PY  - 2023
DO  - 10.22152/programming-journal.org/2024/8/3
UR  - https://arxiv.org/abs/2306.12411
ID  - 2306.12411
ER  -