Proving System Correctness with KIV 3.0
Beitrag zu einer Konferenz
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
Automated Deduction—CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings / McCune, William (Hrsg.). - Berlin ; Heidelberg : Springer, 1997. - (Lecture Notes in Computer Science ; 1249). - S. 69-72. - ISBN 978-3-540-63104-0, ISBN 978-3-540-69140-2
Link to publication
https://dx.doi.org/10.1007/3-540-63104-6_10Conference
International Conference on Automated Deduction, 1997-07-13 - 1997-07-17, Townsville