KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3690968

Evaluation techniques as a part of the verification process

Eisenbiegler, Dirk; Kumar, Ramayya



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator ISBN: 3-540-58450-1
URN: urn:nbn:de:swb:90-AAA3690968
KITopen ID: 369096
Erschienen in Higher order logic theorem proving and its applications. HUG'94. Ed.: T.F. Melham
Verlag Springer, Berlin
Serie Lecture notes in computer science ; 859
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page