Heuristically Increasing the Axiomatization Coverage of Program Verification Systems
| 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 |