Conference Papers
Year : 2014
Stephan Merz : Connect in order to contact the contributor
https://inria.hal.science/hal-01088456
Submitted on : Friday, November 28, 2014-9:25:49 AM
Last modification on : Monday, December 2, 2024-5:46:02 PM
Dates and versions
Identifiers
- HAL Id : hal-01088456 , version 1
Cite
Marek Kosta, Thomas Sturm, Andreas Dolzmann. Better Answers to Real Questions. 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Philipp Rümmer and Christoph M. Wintersteiger, Jul 2014, Vienna, Austria. pp.69. ⟨hal-01088456⟩
85
View
0
Download