Dutch Formal Methods Day 2024 (series) / Marieke Huisman
![Marieke Huisman](https://conf.researchr.org/getProfileImage/mariekehuisman/a8947c0f-8c8c-47cd-ad86-98a3941bcb19/small.jpg?1714659384000)
Registered user since Wed 16 Jan 2019
Name:Marieke Huisman
Country:Netherlands
Affiliation:University of Twente
Personal website: http://wwwhome.cs.utwente.nl/~marieke/
Contributions
2024
Dutch Formal Methods Day
Dutch Formal Methods Day 2024-profile
View general profile
View general profile