Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav08:lecture04 [2008/03/04 16:39] vkuncak |
sav08:lecture04 [2008/03/04 19:18] vkuncak |
||
---|---|---|---|
Line 14: | Line 14: | ||
[[Backward VCG]] | [[Backward VCG]] | ||
+ | |||
+ | We continue with verification-condition generation in [[lecture05]]. | ||