conference paper not in proceedings

Scala to the Power of Z3: Integrating SMT and Programming

Köksal, Ali Sinan
•
Suter, Philippe  
•
Kuncak, Viktor  orcid-logo
2011
Computer-Aideded Deduction (CADE)
Type
conference paper not in proceedings
Author(s)
Köksal, Ali Sinan
Suter, Philippe  
Kuncak, Viktor  orcid-logo
Date Issued

2011

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LARA  
Event name
Computer-Aideded Deduction (CADE)
Available on Infoscience
May 25, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/67845