EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (167 KB) Eisenbiegler_Dirk.pdf2.pdf (178 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA3690968
Titel Evaluation techniques as a part of the verification process
Autor Eisenbiegler, Dirk
Kumar, Ramayya
Institution Fakultät für Informatik (INFORMATIK)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Higher order logic theorem proving and its applications. HUG'94. Ed.: T.F. Melham
Verlag: Springer, Berlin
Jahr: 1994
ISBN: 3-540-58450-1

Serie:
Lecture notes in computer science ; 859