APA (7th ed.) Citation

BRUN, L., GARION, C., GAROCHE, P., & THIRIOUX, X. (2023). Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. ACM Transactions on Embedded Computing Systems, 22, 1. https://doi.org/10.1145/3609393

Chicago Style (17th ed.) Citation

BRUN, LÉLIO, CHRISTOPHE GARION, PIERRE-LOÏC GAROCHE, and XAVIER THIRIOUX. "Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation." ACM Transactions on Embedded Computing Systems 22 (2023): 1. https://doi.org/10.1145/3609393.

MLA (9th ed.) Citation

BRUN, LÉLIO, et al. "Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation." ACM Transactions on Embedded Computing Systems, vol. 22, 2023, p. 1, https://doi.org/10.1145/3609393.