Méthodes formelles pour la vérification des programmes Java / Nestor Catano Collazos ; sous la direction de Marieke Huisman

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Huisman, Marieke (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)

Université Paris Diderot - Paris 7 (1970-2019) (Organisme de soutenance / degree-grantor)

Relation : Méthodes formelles pour la vérification des programmes Java / Nestor Catano Collazos ; sous la direction de Marieke Huisman / Grenoble : Atelier national de reproduction des thèses , 2004