Strengths and weaknesses of program verification systems

• Authors:

• Dan Craigen

• Affiliations:

• I. P. Sharp Associates, Ltd., Ottawa, Ont., Canada

• Venue:
• Proc. of the 1st European Software Engineering Conference on ESEC '87
• Year:
• 1987