Not registered as user yet

Name:Thomas van Binsbergen
Affiliation:University of Amsterdam

Contributions

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

POPL 2022-profile
View general profile