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

Publisher Website

1 June 1993

book chapter
Published by World Scientific Pub Co Pte Ltd

p. 161-182
https://doi.org/10.1142/9789812794499_0012

Abstract

No abstract available

Keywords

This publication has 0 references indexed in Scilit: