13th International Conference on Quality Software

Hofer, B. G. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets
Period29 Jul 2013 - 30 Jul 2013
Held at13th International Conference on Quality Software
Event typeConference