Evaluating Measure of Program Quality

DOI10.1093/COMJNL/30.3.228zbMath0615.68018OpenAlexW2048782799MaRDI QIDQ4723283

K. A. Redish, W. F. Smyth

Publication date: 1987

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/30.3.228

zbMATH Keywords

program complexity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Evaluating Measure of Program Quality