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