KIT | KIT-Bibliothek | Impressum | Datenschutz

Model generation for quantified formulas with application to test data generation

Gladisch, Christoph David



Originalveröffentlichung
DOI: 10.1007/s10009-012-0227-0
Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2012
Sprache Englisch
Identifikator ISSN: 1433-2779, 1433-2787
KITopen-ID: 1000069671
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in International journal on software tools for technology transfer
Band 14
Heft 4
Seiten 439-459
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page