Show simple item record  

dc.contributor.authorReeves, Steve
dc.date.accessioned2008-11-04T22:10:07Z
dc.date.available2008-11-04T22:10:07Z
dc.date.issued2008-11-03
dc.identifier.citationReeves, S. (2008). Considering reachability when comparing data refinements. (Working paper 12/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_US
dc.identifier.issn1177-777X
dc.identifier.urihttps://hdl.handle.net/10289/1275
dc.description.abstractAdding considerations about reachability to the Logics of Specification Languages [1] chapter [2].en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_US
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.titleConsidering reachability when comparing data refinementsen_US
dc.typeWorking Paperen_US
uow.relation.series12/2008
pubs.elements-id53662
pubs.place-of-publicationHamilton, New Zealanden_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record