Skip to content

An Object-Oriented Logic Language for Modular System Specification.

Angelo Morzenti, Pierluigi San Pietro

VenueAECOOP
Year1991
ProceedingsECOOP

Browse the full ECOOP paper archive.