Skip to main content
SpringerLink
Log in

Mural and specbox

  • 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:

  • 105 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. Dept. of Computer Science, University of Manchester, M13 9PL, Manchester, England

    Richard Moore

  2. Coborn House Business Centre, 3 Coborn Road, E3 2DA, London, England

    Peter Froome &  Adelard

Authors
  1. Richard Moore
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Froome
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Adelard
    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

Moore, R., Froome, P., Adelard (1991). Mural and specbox. 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_43

Download citation

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

  • 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