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