The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process

  • Presentations referencing similar topics