P. Cousot

Thesis: These d'Etat es sciences mathematiques: Methodes iteratives de construction et d'approximation de points fixes d'operateurs monotones sur un treillis, analyse semantique de programmes (in French)

P. Cousot, 1978 .

Interpretation Based Program Testing Patrick Cousot Département d ’ informatique École normale supérieure 45 rue d ’ Ulm 75230 Paris cedex 05 , France

P. Cousot, 2000 .

Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes

Patrick Cousot, P. Cousot, 1978 .