KIT | KIT-Bibliothek | Impressum | Datenschutz

Heuristically Increasing the Axiomatization Coverage of Program Verification Systems

Becker, B.; Bormer, T.; Wagner, M.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator KITopen-ID: 1000039058
Erschienen in 10th Metaheuristics International Conference (MIC'13), Singapore, Singapore, August 5-8, 2013
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page