next up previous
Next: AssertMayMod and AssertNoMod Up: Polaris Assertions and Previous: AssertSafeCondition

AssertInduction


Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997