Strengths and Weaknesses of Program Verification Systems.

Thu, 01 Jan 1987 00:00:00 +0100

Dan Craigen:
Strengths and Weaknesses of Program Verification Systems. ESEC 1987: 396-404