1.
Modeling in Event-B. Cambridge, New York, Melbourne: Cambridge University Press; 2024.
Modeling in Event-B. Cambridge, New York, Melbourne : Cambridge University Press, 2 juin 2024. ISBN 978-0-521-89556-9
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%.