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 : jeudi 20 septembre 2018 - 07:54:02

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

131