Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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}}
  
 
verifying_data_structures_using_jahob.txt · Last modified: 2007/07/01 19:00 by kremena.diatchka