Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
verifying_data_structures_using_jahob [2007/07/01 18:59] kremena.diatchka |
verifying_data_structures_using_jahob [2007/07/01 19:00] (current) kremena.diatchka |
||
---|---|---|---|
Line 16: | Line 16: | ||
Final presentation: | Final presentation: | ||
- | |||
{{verifying_data_structures.pdf| Data Structure Verification Using Jahob presentation}} | {{verifying_data_structures.pdf| Data Structure Verification Using Jahob presentation}} | ||