Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=073697273.

Vérification par interprétation abstraite guidée par une propriété temporelle [Texte imprimé] / par Damien Massé ; sous la direction de Radhia Cousot

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2002

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Cousot, Radhia (1947-2014) (Directeur de thèse / thesis advisor)

École polytechnique (Palaiseau, Essonne) (Organisme de soutenance / degree-grantor)