FLOPS 2022 (series) / Wouter Swierstra

Registered user since Fri 4 Mar 2016
Name:Wouter Swierstra
Country:Netherlands
Affiliation:Utrecht University, Netherlands
Personal website:http://www.staff.science.uu.nl/~swier004
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