Dutch Formal Methods Day 2024 (series) / Andrés Goens
![Andrés Goens](https://conf.researchr.org/getProfileImage/andresgoens1/5ac01643-a31c-49b2-b41b-fdd268ba7dca/small.jpg?1714659384000)
Registered user since Fri 31 Mar 2023
Name:Andrés Goens
Affiliation:University of Amsterdam
Personal website: https://goens.org
GitHub: https://github.com/goens
Contributions
2024
Dutch Formal Methods Day
Dutch Formal Methods Day 2024-profile
View general profile
View general profile