Scala to the Power of Z3: Integrating SMT and Programming


Presented at:
Computer-Aideded Deduction (CADE)
Year:
2011
Laboratories:




 Record created 2011-05-25, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)