KIT | KIT-Bibliothek | Impressum

Program verifier Tatzelwurm. The correctness an completeness of the generation of the verification conditions

Kaeufl, Thomas



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 62189
Erscheinungsvermerk Karlsruhe 1989. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1989,9.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page