VANCOUVER Edition Citation

1.
Modeling in Event-B. Cambridge, New York, Melbourne: Cambridge University Press; 2024.

ISO690 Edition Citation

Modeling in Event-B. Cambridge, New York, Melbourne : Cambridge University Press, 2 juin 2024. ISBN 978-0-521-89556-9

Style de citation APA (7e éd.)

Abrial Jean-Raymond. (2010). Modeling in Event-B: System and software engineering. Cambridge University Press.

Style de citation MLA (8e éd.)

Abrial Jean-Raymond. Modeling in Event-B: System and Software Engineering. Cambridge University Press, 2010.

Attention : ces citations peuvent ne pas être correctes à 100%.