Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:general_information [2009/02/16 14:15]
vkuncak
sav08:general_information [2009/02/16 14:16] (current)
vkuncak
Line 47: Line 47:
  
 {{sav08:​nielsonnielsonsemantics.pdf|Nielson,​ Nielson: Semantics with Applications,​ A Formal Introduction}} introduces semantics and its application in analysis. ​ Recommended reading. {{sav08:​nielsonnielsonsemantics.pdf|Nielson,​ Nielson: Semantics with Applications,​ A Formal Introduction}} introduces semantics and its application in analysis. ​ Recommended reading.
-  * [[http://​www2.imm.dtu.dk/​~riis/​PPA/​ppasup2004.html|the web site with +  * [[http://​www2.imm.dtu.dk/​~riis/​PPA/​ppasup2004.html|the web site]] with 
      * excellent slides      * excellent slides
      * automated generator for program analyzers      * automated generator for program analyzers
 
sav08/general_information.txt · Last modified: 2009/02/16 14:16 by vkuncak
 
© EPFL 2018 - Legal notice