| old_uid | 8076 |
|---|---|
| title | Formal verification of algorithms |
| start_date | 2010/02/02 |
| schedule | 09h30-17h |
| online | no |
| details | Thème de la journée : La démonstration de correction d’algorithmes |
| responsibles | <not specified> |
| unset title | login |
Formal verification of algorithms
|