Structured specifications and interactive proofs with KIV

Erstveröffentlichung
1998
Authors
Reif, Wolfgang
Schellhorn, Gerhard
Stenzel, Kurt
Balser, Michael
Editor
Bibel, W.
Schmitt, P.
Teil eines Buches


Published in
Automated Deduction - A Basis for Applications / Bibel, Wolfgang ; Schmitt, Peter H. (Hrsg.). - Dodrecht : Springer, 1998. - (Applied Logic Series : 9). - S. 13-39. - ISBN 978-90-481-5051-9
Link to publication
https://dx.doi.org/10.1007/978-94-017-0435-9_1
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record