Scala to the Power of Z3: Integrating SMT and Programming
2011
Détails
Titre
Scala to the Power of Z3: Integrating SMT and Programming
Auteur(s)
Köksal, Ali Sinan ; Suter, Philippe ; Kuncak, Viktor
Présenté à
Computer-Aideded Deduction (CADE)
Date
2011
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2011-05-25