Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Steffen Smolka
Steffen Smolka

Registered user since Fri 16 Jan 2015

Name:Steffen Smolka
Affiliation:Cornell University
Personal website:https://smolka.st

Contributions

POPL 2020 Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Show activities from other conferences

POPL 2020-profile
View general profile