@dblp

New Concepts for Amalgamation and Extension in the Framework of Specification Logics.

, , and . Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)

Links and resources

Tags