"Logiciels Développement Congrès." . . "Logiciels Vérification Congrès." . . "Génie logiciel Congrès." . . . . . "Software Engineering Conference, 2001, proceedings, 2001 Australian"@en . "2001 Australian Software Engineering Conference proceedings : 27-28 August, 2001, Canberra, Australia"@en . "2001 Australian Software Engineering Conference proceedings, 27-28 August, 2001, Canberra, Australia" . . . . . . . . . "Proceedings, 2001 Australian Software Engineering Conference"@en . . . . . "ASWEC'01" . . . . "Ressource Internet (Descripteur de forme)" . . . . . . . "2001 Australian Software Engineering Conference : proceedings : 27-28 August, 2001, Canberra, Australia"@en . "Conference papers and proceedings"@en . . "Méthode formelle." . . . . "Ateliers de génie logiciel Congrès." . . "Génie logiciel." . . "Australian Software Engineering Conference (13th : 2001 : Canberra, A.C.T.)" . . . "Atelier de génie logiciel." . . "Méthodes formelles (Informatique) Congrès." . . "Conception de logiciels." . . "Australian Software Engineering Conference (2001 : Canberra, Australie)" . . . "Vérification de logiciels." . .