The Logic of the RAISE Specification Language

Chris George, Anne Elisabeth Haxthausen

TypeJournal paper [With referee]
JournalComputing and Informatics
Year2003    Vol. 22    No. 3 - 4    pp. 323 - 350
PublisherSlovac Academy of Sciences
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering


Back  ::  IMM Publications