Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
verifying_data_structures_using_jahob [2007/06/29 21:06] kremena.diatchka |
verifying_data_structures_using_jahob [2007/07/01 19:00] kremena.diatchka |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| Final report: | Final report: | ||
| - | {{feride-kremena_report.pdf| Data Structure Verification Using Jahob}} | + | {{feride-kremena_report.pdf| Data Structure Verification Using Jahob report}} |
| Code: | Code: | ||
| Line 15: | Line 15: | ||
| + | Final presentation: | ||
| + | {{verifying_data_structures.pdf| Data Structure Verification Using Jahob presentation}} | ||