Production-Quality Proof-Carrying Code.

Published in: PADL (2000)

Keyphrases

product quality
quality control
higher quality
high quality
source code
low quality
quality measures
real world
software engineering