SMT in Practice: the Alt-Ergo System

FR
EN

Sylvain Conchon LRI, Université Paris-Sud

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

23 March 2016 5:30 pm 6:30 pm Seminar Amphithéâtre Maurice Halbwachs - Marcelin Berthelot

Download the video