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_resource [2008/02/18 16:07]
vkuncak
sav07_resource [2008/04/06 13:20] (current)
vkuncak
Line 2: Line 2:
  
 ==== Related lecture notes and books ==== ==== Related lecture notes and books ====
 +  * [[http://​www.andrew.cmu.edu/​user/​avigad/​practical/​resources.html|Resources for a CMU Course]]
   * [[http://​www.stanford.edu/​class/​cs242/​|CS242]] from Stanford by John Mitchell   * [[http://​www.stanford.edu/​class/​cs242/​|CS242]] from Stanford by John Mitchell
   * [[http://​swt.informatik.uni-freiburg.de/​teaching/​decproc0708/​|Decision procedures]] lectures by Jochen Hoenicke and Andreas Podelski   * [[http://​swt.informatik.uni-freiburg.de/​teaching/​decproc0708/​|Decision procedures]] lectures by Jochen Hoenicke and Andreas Podelski
 
sav07_resource.txt · Last modified: 2008/04/06 13:20 by vkuncak
 
© EPFL 2018 - Legal notice