@dblp

An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process.

, and . ACM Conference on Computer Science, page 82-88. ACM, (1990)

Links and resources

Tags