KIT | KIT-Bibliothek | Impressum

The theorem prover of the program verifier Tatzelwurm

Kaeufl, Thomas; Zabel, N.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1990
Sprache Englisch
Identifikator KITopen ID: 300690
Erscheinungsvermerk In: 10th International Conference on Automated Deduction. Hrsg.: M.E. Stickel. Kaiserslautern 1990. S. 657-658.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page