"Vérification de logiciels." . . . . . . . . . . . . "Ebook" . . . . "Conference papers and proceedings" . "ISESE 2005 : 2005 International Symposium on Empirical Software Engineering : proceedings : 17-18 November 2005, Noosa Heads, Queensland, Australia" . . "Conference papers and proceedings"@en . . . . "Conference proceedings" . "ISESE 2005 2005 International Symposium on Empirical Software Engineering : proceedings : 17-18 November 2005, Noosa Heads, Queensland, Australia" . "ISESE 2005 2005 International Symposium on Empirical Software Engineering : proceedings : 17-18 November 2005, Noosa Heads, Queensland, Australia"@en . "Empirical Software Engineering, 2005, 2005 International Symposium on"@en . "ISESE 2005 proceedings, 2005 International Symposium on Empirical Software Engineering : 17-18 November 2005, Noosa Heads, Queensland, Australia" . . . . "Ressource Internet (Descripteur de forme)" . "Empirical software engineering" . . "Empirical software engineering"@en . . . . . . . "Qualité du logiciel." . . . . "Architecture logicielle." . . "Logiciels Vérification Congrès." . . "Systèmes, Conception de Congrès." . . "Architecture logicielle Congrès." . . "Génie logiciel." . . "Processus logiciel." . . "Empirisme Congrès." . . "Logiciels Qualité Congrès." . . "International Symposium on Empirical Software Engineering (2005 : Noosa Heads, Queensl.)" . . . "Empirisme." . . "Conception de logiciels." . . "Génie logiciel Congrès." . . "International Symposium on Empirical Software Engineering (4th : 2005 : Noosa Heads, Qld.)" . . .