Integrating Formal Verification Within Programming Languages (INRIA de Rennes)

FR
EN

Media available in French only

Thomas Jensen Inria Rennes

Algorithms, Machines and Languages (2007-2019) / Linked to Topics Covered in the Lectures

04 November 2015 5:30 pm Seminar INRIA Rennes