APA (7th ed.) Citation

Hallerstede, S. (2016). The correctness of event-B inductive convergence. Science of Computer Programming, 131, 94. https://doi.org/10.1016/j.scico.2016.04.012

Chicago Style (17th ed.) Citation

Hallerstede, Stefan. "The Correctness of Event-B Inductive Convergence." Science of Computer Programming 131 (2016): 94. https://doi.org/10.1016/j.scico.2016.04.012.

MLA (9th ed.) Citation

Hallerstede, Stefan. "The Correctness of Event-B Inductive Convergence." Science of Computer Programming, vol. 131, 2016, p. 94, https://doi.org/10.1016/j.scico.2016.04.012.