Skip to main content
Go back
Menu
FOSDEM PWA
Schedule
Live
Speakers
Rooms
Bookmarks
Close menu
FOSDEM PWA
Schedule
Live
Speakers
Rooms
Bookmarks
Search
Sign In
View Source
Sign In
⌘
K
Search
Speakers
Guillaume Claret
Sessions by Guillaume Claret
Day 1
Day 2
Toggle favourites-first sorting
Favourites first
Formal Verification in Rocq, an Exhaustive Testing
16:25 – 16:50
H.2213
Guillaume Claret
Copy link
View Event
Schedule
Live
Bookmarks
Search