13th International Conference on Quality Software

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 201330 Jul 2013
Event title13th International Conference on Quality Software: QSIC 2013
Event typeConference
LocationNanjing, China