KIT | KIT-Bibliothek | Impressum

The FAUST prover

Schneider, Klaus; Kumar, Ramayya; Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 205992
Erscheinungsvermerk In: Automated deduction. Ed.: D. Kapur. Berlin 1992. S. 766-770. (Lecture notes in computer science. 607.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page