En relation avec le sujet du cours (Chaire d'Innovation technologique Liliane Bettencourt)

La vérification des programmes par interprétation abstraite

Patrick Cousot

22 février 2008 11:30 Séminaire Amphithéâtre Guillaume Budé - Marcelin Berthelot
Algorithmes, machines et langages