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