Registered user since Fri 28 Aug 2015
Name:Gabriele Keller
Country:Netherlands
Affiliation:Utrecht University
Personal website:http://www.cse.unsw.edu.au/~keller
Contributions
| TyDe 2021 | Translation Certification for Smart Contracts (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
| FHPNC 2021 | Co-chair in Organizing Committee within the FHPNC 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile