Registered user since Thu 2 Jul 2020
Name:Alejandro Aguirre
Affiliation:IMDEA Software Institute, Spain
Contributions
POPL 2019 | Formal Verification of Higher-Order Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile