KIT | KIT-Bibliothek | Impressum | Datenschutz

Tackling the testing migration problem with SAT-Solvers

Breitner, Joachim

Open Access Logo


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2012
Sprache Englisch
Identifikator KITopen-ID: 1000120870
Nachgewiesen in arXiv
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page