plt17:lecture_19

Lecture 19

Lecture 19 Slides (Introduction to Axiomatic Semantics)

Readings

Tony Hoare, "An Axiomatic Basis for Computer Programming" , Communications of the ACM 12, no. 10 (1969): 576–80.

plt17/lecture_19.txt · Last modified: 2017/10/18 14:58 by hossein