Publications

Tutorial session 3B: Prospects for program verification

• • James C. King
• 1978
• ICSE 1978