plt17:lecture_21

Lecture 21

Lecture 21 Slides (Verification Condition Generation (I))

Readings

K. Rustan M. Leino, "Specification and Verification of Object-Oriented Software", Section 3

plt17/lecture_21.txt · Last modified: 2017/10/23 23:07 by hossein