Benoît Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette. Modélisation rigoureuse en SPEM de procédé de développement. In Roger Rousseau, Christelle Urtado, Sylvain Vauttier, editors, Actes des journéees Langages et Modèles à Objets, LMO 06. Nîmes, 22-24 mars. pages 135-150, Hermès Lavoisier, 2006.
Abstract is missing.