Registered user since Tue 16 Jun 2015
Name:Vasileios Koutavas
Affiliation:Trinity College Dublin
Contributions
| ML 2021 | Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile