APA (7th ed.) Citation

DUPONT, G., AIT-AMEUR, Y., SINGH, N. K., & PANTEL, M. (2021). Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems. ACM Transactions on Embedded Computing Systems, 20(4), 1. https://doi.org/10.1145/3448270

Chicago Style (17th ed.) Citation

DUPONT, GUILLAUME, YAMINE AIT-AMEUR, NEERAJ KUMAR SINGH, and MARC PANTEL. "Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems." ACM Transactions on Embedded Computing Systems 20, no. 4 (2021): 1. https://doi.org/10.1145/3448270.

MLA (9th ed.) Citation

DUPONT, GUILLAUME, et al. "Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems." ACM Transactions on Embedded Computing Systems, vol. 20, no. 4, 2021, p. 1, https://doi.org/10.1145/3448270.