Publications

Proving programs correct through refinement

• • Claus H. Correll
• 1978
• Acta Informatica