Nicolas Belloir Fabien Romeo Vérification a priori de modèle de composition logicielle. 163-178 2004 conf/inforsid/2004 INFORSID db/conf/inforsid/inforsid2004.html#BelloirR04