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