Cite
Formalizing hybrid systems with Event-B and the Rodin Platform.
MLA
Su, Wen, et al. “Formalizing Hybrid Systems with Event-B and the Rodin Platform.” Science of Computer Programming, vol. 94, Nov. 2014, pp. 164–202. EBSCOhost, https://doi.org/10.1016/j.scico.2014.04.015.
APA
Su, W., Abrial, J.-R., & Zhu, H. (2014). Formalizing hybrid systems with Event-B and the Rodin Platform. Science of Computer Programming, 94, 164–202. https://doi.org/10.1016/j.scico.2014.04.015
Chicago
Su, Wen, Jean-Raymond Abrial, and Huibiao Zhu. 2014. “Formalizing Hybrid Systems with Event-B and the Rodin Platform.” Science of Computer Programming 94 (November): 164–202. doi:10.1016/j.scico.2014.04.015.