| shared_uid | 2742 |
|---|---|
| title | Spécification et Vérification (séminaire du LSV, UMR 8643 CNRS, ENS, Cachan) |
| type | Séminaire |
| year | 2018 |
| start_date | 2018/10/08 |
| stop_date | 2019/06/25 |
| schedule | 11h |
| active | no |
| website | http://www.lsv.fr/Seminaires/ |
| responsibles | Le Roux |
| unset title | login |
Spécification et Vérification (séminaire du LSV, UMR 8643 CNRS, ENS, Cachan) (2018)
|