ER05: Advanced Techniques Software Specification and Computer Proof (18-22 January)

Date: 18-22 January 2016

Teachers: Cyril Cohen, Laurence Rideau, and Laurent Théry
Local contact: Enrico Tassi

https://team.inria.fr/marelle/en/advanced-coq-winter-school-2016/