Wan Fokkink - Dutch Formal Methods Day 2025

Thu 26 Jun 2025 Amsterdam, Netherlands

Registered user since Tue 2 Dec 2025

Name:Wan Fokkink

Affiliation:Vrije Universiteit Amsterdam

Contributions

2025

Dutch Formal Methods Day

Supervisor Synthesis: Turning Automata into Control Software

Show activities from other conferences

Dutch Formal Methods Day 2025-profile
View general profile