Edinburgh Research Explorer

A Generalized Interval Package and its Use for Semantic Checking

Research output: Contribution to journalArticle

Standard

A Generalized Interval Package and its Use for Semantic Checking. / Bundy, Alan.

In: ACM Transactions on Mathematical Software, Vol. 10, No. 4, 12.1984.

Research output: Contribution to journalArticle

Harvard

Bundy, A 1984, 'A Generalized Interval Package and its Use for Semantic Checking', ACM Transactions on Mathematical Software, vol. 10, no. 4. https://doi.org/10.1145/2701.2702

APA

Bundy, A. (1984). A Generalized Interval Package and its Use for Semantic Checking. ACM Transactions on Mathematical Software, 10(4). https://doi.org/10.1145/2701.2702

Vancouver

Bundy A. A Generalized Interval Package and its Use for Semantic Checking. ACM Transactions on Mathematical Software. 1984 Dec;10(4). https://doi.org/10.1145/2701.2702

Author

Bundy, Alan. / A Generalized Interval Package and its Use for Semantic Checking. In: ACM Transactions on Mathematical Software. 1984 ; Vol. 10, No. 4.