Fecha:"2009" |
Repositorio: "Université de Montreal" |
Temas: "Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)" |
Tema:"Aspect Interaction" |
Temas: "Aspect Oriented Development" |
Tema:"Génie Logiciel" |
Tema:"Modular reasoning" |
Tema:"Interaction Aspect" |
Temas: "Formal Verification" |