Dutch Formal Methods Day 2025 (series) / Johan Commelin
Registered user since Sat 15 Jun 2024
Name:Johan Commelin
Affiliation:University of Utrecht
Contributions
2025
Dutch Formal Methods Day
Using general profile
Dutch Formal Methods Day 2025
Thu 26 Jun 2025 Amsterdam, Netherlands
- Attending
- Track/Call
- Organization
- Dutch Formal Methods Day 2025 Committees
- Track Committees
- Organizing Committee
- Contributors
- People Index
- Search
- Series
- Series
- Dutch Formal Methods Day 2025
- Dutch Formal Methods Day 2024