FLOPS 2022 (series) / Gabriele Keller
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
| FLOPS 2022 | Translation Certification for Smart Contracts Translation Certification for Smart Contracts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
FLOPS 2022-profile
View general profile
View general profile