Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
invariants-icse2000.pdf | 2001-10-10 13:52 | 121K | ||
invariants-icse2000.ps | 2001-10-10 13:52 | 152K | ||
invariants-pointers.pdf | 2001-10-10 13:52 | 135K | ||
invariants-pointers.ps | 2001-10-10 13:52 | 172K | ||
invariants-refactor.pdf | 2001-10-10 13:52 | 87K | ||
invariants-refactor.ps | 2001-10-10 13:52 | 131K | ||
invariants-thesis.pdf | 2001-10-10 13:52 | 879K | ||
invariants-thesis.ps | 2001-10-10 13:52 | 1.0M | ||
invariants-verify.pdf | 2001-10-10 13:52 | 261K | ||
invariants-verify.ps | 2001-10-10 13:52 | 271K | ||