ECOOP 2026 (series) / Florian Sextl
Registered user since Wed 12 Jan 2022
Name:Florian Sextl
Country:Austria
Affiliation:TU Wien, Austria
Personal website: https://firefighterduck.de/
Research interests:Program Verification, Interactive Theorem Proving, Formal Programming Language Foundations
Contributions
Using general profile