The prospectra system | SpringerLink
Skip to main content
Springer Nature Link
Log in

The prospectra system

  • Conference paper
  • First Online:
VDM'91 Formal Software Development Methods (VDM 1991)

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

Included in the following conference series:

  • 103 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. FB 3 Mathematik/Informatik, Universität Bremen, Postfach 330 440, D-2800, Bremen 33

    Berthold Hoffmann & Bernd Krieg-Brückner

Authors
  1. Berthold Hoffmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernd Krieg-Brückner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoffmann, B., Krieg-Brückner, B. (1991). The prospectra system. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation