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