Retourner aux renseignements sur l'article Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor Télécharger Télécharger le PDF