Guillaume Claret
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Formal Verification in Rocq, an Exhaustive Testing |
Sunday | H.2213 | Testing and Continuous Delivery | 16:25 | 17:00 |
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Formal Verification in Rocq, an Exhaustive Testing |
Sunday | H.2213 | Testing and Continuous Delivery | 16:25 | 17:00 |