Differences
This shows you the differences between two versions of the page.
— |
sav08:example_vc_in_first-order_logic [2008/03/31 21:14] (current) vkuncak created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Example Verification Condition and Its Proof ====== | ||