Lab for Automated Reasoning and Analysis LARA


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]
verifying_data_structures_using_jahob [2007/07/01 19:00] (current)
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