Advertisement

The B tool (Abstract)

  • J. R. Abrial
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 328)

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • J. R. Abrial

There are no affiliations available

Personalised recommendations