Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews