Better Answers to Real Questions

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 21 novembre 2017 - 01:19:57

Identifiants

  • HAL Id : hal-01088456, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

111