A logic-based formalization for component specification

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)
Original languageEnglish
Pages (from-to)231-248
JournalJournal of Object Technology
Volume1
Issue number3
Publication statusPublished - Jul 2002

Cite this