skip to content
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
Trace:
•
lecture_21
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
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top