Not registered as user yet

Name:Cosimo Laneve
Affiliation:University of Bologna

Contributions

ProLaLa 2022 Stipula: a domain specific language for legal contracts
Show activities from other conferences

POPL 2022-profile
View general profile