Not registered as user yet

Name:Matteo Pascucci
Affiliation:Slovak Academy of Science

Contributions

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

POPL 2022-profile
View general profile