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_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