617 articles  [version française]
.:. Browse > List by subject > Software Engineering .:.
5 documents ordered by :

fulltext access ANALYSE STATIQUE DE LOGICIELS MULTITÂCHES PAR INTERPRÉTATION ABSTRAITE
Ferrara P.
Ecole Polytechnique X (22/09/2009), Radhia Cousot (Dir.) [tel-00417502 - version 1]
fulltext access Domaines numériques abstraits faiblement relationnels
Miné A.
Ecole Polytechnique X (06/12/2004), Patrick Cousot (Dir.) [tel-00136630 - version 1]
fulltext access Analyse de programmes probabilistes par interprétation abstraite
Monniaux D.
Université Paris Dauphine - Paris IX (21/11/2001), Patrick Cousot (Dir.) [tel-00084287 - version 1]
fulltext access Extraction de programmes dans le Calcul des Constructions
Paulin-Mohring C.
Université Paris-Diderot - Paris VII (1989-01-27), Gérard Huet (Dir.) [tel-00431825 - version 1]
fulltext access Modularité et symétrie pour les systèmes répartis; application au langage CSP
Bougé L.
Université Paris-Diderot - Paris VII (30/03/1987), Maurice Nivat (Dir.) [tel-00416184 - version 1]