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
sav07_lecture_25 [2007/06/21 10:22]
sav07_lecture_25 [2007/06/21 10:22] (current)
Line 69: Line 69:
 Slides: {{esc_java.ppt| ESC/Java Presentation}} Slides: {{esc_java.ppt| ESC/Java Presentation}}
Line 76: Line 77:
 Paper: the book '​Software Abstractions'​ by Daniel Jackson Paper: the book '​Software Abstractions'​ by Daniel Jackson
 Slides: {{alloy-sav.ppt|}} Slides: {{alloy-sav.ppt|}}
sav07_lecture_25.txt · Last modified: 2007/06/21 10:22 by lvariu
© EPFL 2018 - Legal notice