Towards Formalizing Behavioral Substitutability in Component Frameworks.

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault

Browse the full SEFM paper archive.