Sign in

Production-Quality Proof-Carrying Code.

Peter Lee
Published in: PADL (2000)
Keyphrases
  • product quality
  • quality control
  • higher quality
  • high quality
  • source code
  • low quality
  • quality measures
  • real world
  • software engineering