Not registered as user yet

Name:Tom van Engers
Affiliation:Leibniz Institute / University of Amsterdam / TNO

Contributions

ProLaLa 2022 DPCL: a Language Template for Normative Specifications
Show activities from other conferences

POPL 2022-profile
View general profile