13th International Conference on Quality Software

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets
Zeitraum29 Juli 201330 Juli 2013
Ereignistitel13th International Conference on Quality Software: QSIC 2013
VeranstaltungstypKonferenz
OrtNanjing, ChinaAuf Karte anzeigen