Guillaume Claret
Events
| Title | Day | Room | Track | Start (UTC+1) | End (UTC+1) |
|---|---|---|---|---|---|
| Formal Verification in Rocq, an Exhaustive Testing |
Sunday | H.2213 | Testing and Continuous Delivery | 16:25 | 16:50 |
| Title | Day | Room | Track | Start (UTC+1) | End (UTC+1) |
|---|---|---|---|---|---|
| Formal Verification in Rocq, an Exhaustive Testing |
Sunday | H.2213 | Testing and Continuous Delivery | 16:25 | 16:50 |