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