Dates : 18-22 janvier 2016
Intervenants: Cyril Cohen, Laurence Rideau, et Laurent Théry
Contact local: Enrico Tassi
https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/
Dates : 18-22 janvier 2016
Intervenants: Cyril Cohen, Laurence Rideau, et Laurent Théry
Contact local: Enrico Tassi
https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/