Program Verification and Verification-Oriented Programming" Invited paper at IFIP-77 (1977)

by D C Luckham
Venue:The Smalltalk-76 Programming System Design and Implementation" Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages