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