Expand icon Search icon File icon file Download

CSM-362a - An Analysis of total correctness refinement models for partial relation semantics I

Henson, M and Reeves, S (2002) CSM-362a - An Analysis of total correctness refinement models for partial relation semantics I. UNSPECIFIED. CSM-362a, University of Essex, Colchester.



Abstract

Available files

Filename: csm-362a.PDF

Statistics

Downloads

downloads and page views since this item was published

View detailed statistics