Original language | English |
---|---|
Journal | ACM Transactions on Mathematical Software |
Volume | 10 |
Issue number | 4 |
DOIs | |
Publication status | Published - Dec 1984 |
A Generalized Interval Package and its Use for Semantic Checking
Research output: Contribution to journal › Article › peer-review