Differences
This shows you the differences between two versions of the page.
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]] | ||