Structured specifications and interactive proofs with KIV
Teil eines Buches
Editor
Bibel, W.Schmitt, P.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished 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