A Strategy for the Formal Composition of Frameworks.

Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo

Browse the full SEFM paper archive.