ISSTA 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
ISSTA/ECOOP 2024 (series) / ISSTA 2024 (series) / Florian Sextl
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

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile