13th International Conference on Quality Software

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets

Period	29 Jul 2013 → 30 Jul 2013
Event title	13th International Conference on Quality Software: QSIC 2013
Event type	Conference
Location	Nanjing, ChinaShow on map