Edinburgh Research Explorer

A Generalized Interval Package and its Use for Semantic Checking

Research output: Contribution to journalArticle

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

ID: 400476