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
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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 : jeudi 11 janvier 2018 - 06:23:13

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

123

Contact


archive-ouverte@inria.fr