Sandra Fruhmann

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Hardware Designs

Search Algorithm

Top Venues

Publications

Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. QSIC (2013)