conf.researchr.org / Lutz Strassburger
Not registered as user yet
Name:Lutz Strassburger
Contributions
ML 2021 | Author of Demo Paper : Coqlex, an approach to generate verified lexers within the ML 2021-track |
FSCD 2017 | Author of Combinatorial Flows and their Normalisation within the FSCD 2017-track |