Not registered as user yet
Name:Augusto Passalaqua
Affiliation:TU Delft
Contributions
Onward! 2014 | A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile