Expand icon Search icon File icon file Download

CSM-364 - An analysis of operation refinement in Z

Henson, M and Deutsch, M and Reeves, S (2002) CSM-364 - An analysis of operation refinement in Z. UNSPECIFIED. CSM-364, University of Essex, Colchester.



Abstract

Available files

Filename: csm-364.pdf

Statistics

Downloads

downloads and page views since this item was published

View detailed statistics