Collège de France
menu
FR
EN
Towards a Safe and Expressive Automation: Combining Automatic and Interactive Proofs
FR
EN
Chantal Keller
LRI, Université Paris Sud
Algorithms, Machines and Languages (2007-2019)
/
Linked to Topics Covered in the Lectures
13 April 2016
4:00 pm
5:00 pm
Seminar
Amphithéâtre Maurice Halbwachs - Marcelin Berthelot
Download the video
