1. Farida Mostefaoui and Julie Vachon. Modélisation et vérification formelle de la composition des aspects. In Lionel Seinturier, editor, actes de la 2^e Journée Francophone sur le Développement de Logiciels Par Aspects, Septembre 2005. Hermès.

This document was translated from BibT_EX by bibtex2html