KIT | KIT-Bibliothek | Impressum | Datenschutz

Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer

Wasserrab, Daniel



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2009
Sprache Englisch
Identifikator ISSN: 2150-914x
KITopen-ID: 1000120901
Erschienen in Archive of Formal Proofs
Bemerkung zur Veröffentlichung Formal proof development
Externe Relationen Siehe auch
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page