Méthodes formelles pour la vérification des programmes Java / Nestor Catano Collazos ; sous la direction de Marieke Huisman
Date : 2004
Editeur / Publisher : [S.l.] : [s.n.] , 2004
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : anglais / English
Huisman, Marieke (Directeur de thèse / thesis advisor)
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