
Registered user since Wed 19 Aug 2015
Name:Silvia Crafa
Country:Italy
Affiliation:University of Padova
Personal website:http://www.math.unipd.it/~crafa/
Contributions
ProLaLa 2022 | Stipula: a domain specific language for legal contracts | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile