Formal Verification of Temporal Programs

FR
EN

Gérard Berry Collège de France

Algorithms, Machines and Languages (2007-2019) / Data Structures and Algorithms for Formal Verification

30 March 2016 4:00 pm 5:30 pm Lectures Amphithéâtre Maurice Halbwachs - Marcelin Berthelot

Download the video