Skip to main content
SpringerLink
Log in
Book cover

Annual Symposium on Theoretical Aspects of Computer Science

STACS 1993: STACS 93 pp 704–705Cite as

The KIV system a tool for formal program development

  • Conference paper
  • First Online:

  • 131 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 665))

This is a preview of subscription content, log in via an institution.

Author information

Authors and Affiliations

  1. Institut for Logic, Complexity and Deductive Systems, University of Karlsruhe, Postfach 6980, W-7500, Karlsruhe 1, Germany

    Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan & Andreas Wolpers

Authors
  1. Rainer Drexler
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfgang Reif
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gerhard Schellhorn
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kurt Stenzel
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Werner Stephan
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Andreas Wolpers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Enjalbert A. Finkel K. W. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Drexler, R., Reif, W., Schellhorn, G., Stenzel, K., Stephan, W., Wolpers, A. (1993). The KIV system a tool for formal program development. In: Enjalbert, P., Finkel, A., Wagner, K.W. (eds) STACS 93. STACS 1993. Lecture Notes in Computer Science, vol 665. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56503-5_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-56503-5_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56503-1

  • Online ISBN: 978-3-540-47574-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation