La vérification des programmes par interprétation abstraite

FR
EN

Patrick Cousot

Algorithmes, machines et langages (2007-2019) / En relation avec le sujet du cours (Chaire d'Innovation technologique Liliane Bettencourt)

22 février 2008 11:30 Séminaire Amphithéâtre Guillaume Budé - Marcelin Berthelot