Registered user since Thu 22 Mar 2018
Name:Elena Zucca
Affiliation:University of Genova
Personal website:http://www.disi.unige.it/person/ZuccaE/
Contributions
| SPLASH 2017 | Reasoning on Divergent Computations with Coaxioms Committee Member in Program Committee within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2017-profile
View general profile
View general profile