(series) / Cristiano Calcagno
Not registered as user yet
Name:Cristiano Calcagno
Affiliation:Facebook
Contributions
SPLASH 2010 | Reasoning about Multiple Related Abstractions with MultiStar | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2010-profile
View general profile
View general profile