![Alfons Laarman](https://popl19.sigplan.org/getProfileImage/alfonslaarman/6c7f736c-eff4-4760-9290-36e08c2a7dcc/small.jpg?1711621630000)
Registered user since Fri 28 Dec 2018
Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing
Contributions
POPL 2019-profile
View general profile
View general profile
Registered user since Fri 28 Dec 2018
Contributions