Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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