LARA

Differences

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

Link to this comparison view

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