User Tools

Site Tools


plt17:lecture_21

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plt17:lecture_21 [2017/10/23 23:05]
hossein created
plt17:lecture_21 [2017/10/23 23:07] (current)
hossein
Line 5: Line 5:
 === Readings === === Readings ===
    
-  * K. Rustan M. Leino, [[https://​www.microsoft.com/​en-us/​research/​wp-content/​uploads/​2016/​12/​krml190.pdf|"​Specification and Verification of Object-Oriented Software"​]], ​Chapter ​3+  * K. Rustan M. Leino, [[https://​www.microsoft.com/​en-us/​research/​wp-content/​uploads/​2016/​12/​krml190.pdf|"​Specification and Verification of Object-Oriented Software"​]], ​Section ​3
plt17/lecture_21.txt ยท Last modified: 2017/10/23 23:07 by hossein