PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Alfons Laarman

Registered user since Fri 28 Dec 2018

Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing

Contributions

Show activities from other conferences

Using general profile