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
Citace podle Chicago (17th ed.)Monat, Raphaël, Abdelraouf Ouadjaout, a 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.
Citace podle MLA (9th ed.)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.