Advertisement

The KIV system a tool for formal program development

  • Rainer Drexler
  • Wolfgang Reif
  • Gerhard Schellhorn
  • Kurt Stenzel
  • Werner Stephan
  • Andreas Wolpers
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 665)

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Rainer Drexler
    • 1
  • Wolfgang Reif
    • 1
  • Gerhard Schellhorn
    • 1
  • Kurt Stenzel
    • 1
  • Werner Stephan
    • 1
  • Andreas Wolpers
    • 1
  1. 1.Institut for Logic, Complexity and Deductive SystemsUniversity of KarlsruheKarlsruhe 1Germany

Personalised recommendations