APA (7th ed.) Citation

(2010). Modeling in Event-B system and software engineering / Jean-Raymond Abrial. [electronic resource].

Chicago Style (17th ed.) Citation

Modeling in Event-B System and Software Engineering / Jean-Raymond Abrial. [electronic Resource]. 2010.

MLA (9th ed.) Citation

Modeling in Event-B System and Software Engineering / Jean-Raymond Abrial. [electronic Resource]. 2010.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.