• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Proving System Correctness with KIV 3.0

Erstveröffentlichung
1997
Authors
Reif, Wolfgang
Schellhorn, Gerhard
Stenzel, Kurt
Beitrag zu einer Konferenz


Published 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_10
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Conference
International Conference on Automated Deduction, 1997-07-13 - 1997-07-17, Townsville
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement