Alfons Laarman - POPL 2019 (original) (raw)
Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing
Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing