Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav07_lecture_19 [2007/05/31 12:12]
vkuncak
sav07_lecture_19 [2007/05/31 12:14] (current)
vkuncak
Line 18: Line 18:
  
 Slides: Slides:
-  * {{ganzingerbachmairconstructionslides.pdf}} +  * {{ganzingerbachmairconstructionslides.pdf|Ganzinger-Bachmair Model Construction}} 
-  * {{priorityqueueslides.pdf}}+  * {{priorityqueuesslides.pdf|Verifying a checker for priority queues}}
  
 
sav07_lecture_19.txt · Last modified: 2007/05/31 12:14 by vkuncak
 
© EPFL 2018 - Legal notice