POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Mircea Sebe

Registered user since Mon 6 Jan 2025

Name:Mircea Sebe
Country:United States
Affiliation:UIUC
Research interests:Formal Methods, Programming Languages, Proof Assistants

Contributions

Show activities from other conferences

Using general profile