Better Answers to Real Questions

Marek Kosta 1, 2 Thomas Sturm 2, 1 Andreas Dolzmann 3
1 MPII - Max-Planck-Institut für Informatik
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
3 Schloss Dagstuhl - Leibniz Zentrum für Informatik [Wadern]
Type de document :
Communication dans un congrès
12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Jul 2014, Vienna, Austria. pp.69, CEUR Workshop Proceedings
Liste complète des métadonnées
https://hal.inria.fr/hal-01088456
Contributeur : Stephan Merz <>
Soumis le : vendredi 28 novembre 2014 - 09:25:49
Dernière modification le : mardi 19 février 2019 - 15:40:03

Identifiants

  • HAL Id : hal-01088456, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Marek Kosta, Thomas Sturm, Andreas Dolzmann. Better Answers to Real Questions. 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Jul 2014, Vienna, Austria. pp.69, CEUR Workshop Proceedings. 〈hal-01088456〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

140

Contact


archive-ouverte@inria.fr