SPLASH 2014 (series) / Tim Wood
Not registered as user yet
Name:Tim Wood
Affiliation:Imperial College
Contributions
FOOL | Program Equivalence through Trace Equivalence | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile