Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels / Daniele Zucchelli ; sous la direction de Michaël Rusinowitch et de Silvio Ghilardi et de Silvio Ranise

Date :

Editeur / Publisher : , 2008

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Logiciels -- Vérification -- Thèses et écrits académiques

Méthodes formelles (informatique) -- Thèses et écrits académiques

Rusinowitch, Michaël (1956-....) (Directeur de thèse / thesis advisor)

Ghilardi, Silvio (Directeur de thèse / thesis advisor)

Ranise, Silvio (Directeur de thèse / thesis advisor)

Université de Nancy I (Organisme de soutenance / degree-grantor)

Università degli studi (Milan, Italie) (Organisme de cotutelle / degree co-grantor)