Show simple item record

ACM Transactions on Mathematical Software

dc.contributor.authorBundy, Alan
dc.date.accessioned2010-12-20T14:24:52Z
dc.date.available2010-12-20T14:24:52Z
dc.date.issued1984-12
dc.identifier.urihttp://portal.acm.org/citation.cfm?doid=2701.2702en
dc.identifier.urihttp://hdl.handle.net/1842/4547
dc.language.isoenen
dc.publisherTransactions on Mathematical Softwareen
dc.titleA Generalized Interval Package and its Use for Semantic Checkingen
dc.typeArticleen
dc.identifier.doi10.1145/2701.2702en
rps.issue4en
rps.volume10en
rps.titleACM Transactions on Mathematical Softwareen
dc.extent.pageNumbers397-409en
dc.date.updated2010-12-20T14:24:53Z


Files in this item

This item appears in the following Collection(s)

Show simple item record