LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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}}