Not registered as user yet

Name: Tim Wood

Affiliation: Imperial College

Contributions

FOOLAuthor of Program Equivalence through Trace Equivalence within the FOOL-track