Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

The KIV system a tool for formal program development

  • Conference paper
  • First Online:
STACS 93 (STACS 1993)

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

Included in the following conference series:

  • 131 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

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