Computer Sciences Dept.

Experience with Inducttive Assertions for Proving Programs Correct

Ralph L. London
1970

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home