Skip to main content
SpringerLink
Log in
Book cover

International Conference of B Users

B 1998: B’98: Recent Advances in the Development and Use of the B Method pp 1–8Cite as

On B

  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-R. Abrial, The B-Book: Assigning programs to meanings, Cambridge University Press, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. 26, rue des Plantes, 75014, Paris

    Jean -Raymond Abrial (Consultant)

Authors
  1. Jean -Raymond Abrial
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Didier Bert

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abrial, J.R. (1998). On B. In: Bert, D. (eds) B’98: Recent Advances in the Development and Use of the B Method. B 1998. Lecture Notes in Computer Science, vol 1393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053350

Download citation

  • DOI: https://doi.org/10.1007/BFb0053350

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64405-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation