Jean-Raymond Abrial. (2013). Modeling in Event-B (1.). Cambridge University Press.
Chicago Style (17th ed.) CitationJean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
MLA (8th ed.) CitationJean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
Warning: These citations may not always be 100% accurate.