Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
verifying_data_structures_using_jahob [2007/06/29 21:06] kremena.diatchka |
verifying_data_structures_using_jahob [2007/07/01 18:59] 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}} | ||