Lab for Automated Reasoning and Analysis 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] (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
 
© EPFL 2018 - Legal notice