Expand icon Search icon File icon file Download

CSM-379 An analysis of total correctness refinement models for partial relation semantics I

Deutsch, M and Henson, M and Reeves, S CSM-379 An analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-379, University of Essex, Colchester.



Abstract

Available files

Filename: csm379_copy(1).PDF

Statistics

Downloads

downloads and page views since this item was published

View detailed statistics