A Generalized Interval Package and its Use for Semantic Checking

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalACM Transactions on Mathematical Software
Volume10
Issue number4
DOIs
Publication statusPublished - Dec 1984

Cite this