APA (7th ed.) Citation

Monat, R., Ouadjaout, A., & Miné, A. (2023). Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems, 13994, 565-570. https://doi.org/10.1007/978-3-031-30820-8_37

Chicago Style (17th ed.) Citation

Monat, Raphaël, Abdelraouf Ouadjaout, and Antoine Miné. "Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 13994 (2023): 565-570. https://doi.org/10.1007/978-3-031-30820-8_37.

MLA (9th ed.) Citation

Monat, Raphaël, et al. "Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, 2023, pp. 565-570, https://doi.org/10.1007/978-3-031-30820-8_37.