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
sav07_lecture_25 [2007/06/21 10:22]
lvariu
sav07_lecture_25 [2007/06/21 10:22] (current)
lvariu
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