Building Bridges Between Knowledge Representation and Algebraic Specification.

Jacques Calmet, Indra A. Tjandra

Browse the full ISMIS paper archive.