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
scalaz3 [2011/10/21 16:16]
philippe.suter
scalaz3 [2012/02/27 12:30] (current)
philippe.suter
Line 4: Line 4:
  
 The sources are now available on [[https://​github.com/​psuter/​ScalaZ3|GitHub]]. Please use GitHub'​s issue tracker to report bugs or suggest improvements. Questions should be asked on [[http://​stackoverflow.com/​|Stack Overflow]], preferably tagged with [z3] and [scala]. The sources are now available on [[https://​github.com/​psuter/​ScalaZ3|GitHub]]. Please use GitHub'​s issue tracker to report bugs or suggest improvements. Questions should be asked on [[http://​stackoverflow.com/​|Stack Overflow]], preferably tagged with [z3] and [scala].
 +
  
 ===== Paper and Presentation ===== ===== Paper and Presentation =====
  
 Information on (a version) of this library is available in Information on (a version) of this library is available in
-  * [[http://​lara.epfl.ch/​~kuncak/​papers/​KoeksalETAL11ScalaZ3.html|CADE System Description]]+  * A.S. Köksal, V. Kuncak, P. Suter. //Scala to the Power of Z3//. CADE 2011 (System Description) ​[[http://​lara.epfl.ch/​~kuncak/​papers/​KoeksalETAL11ScalaZ3.html|PDF]]
   * [[http://​lara.epfl.ch/​~kuncak/​talks/​ScalaZ3.ppsx|Powerpoint Slides]]   * [[http://​lara.epfl.ch/​~kuncak/​talks/​ScalaZ3.ppsx|Powerpoint Slides]]
  
 
scalaz3.txt · Last modified: 2012/02/27 12:30 by philippe.suter
 
© EPFL 2018 - Legal notice