Login / Signup
Sandra Fruhmann
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Database
Hardware Designs
Search Algorithm
Top Venues
QSIC
</>
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)