Hertzberg, N., Sevenhuijsen, M., Kåreborn, L., & Lokrantz, A. (2025). CASP: An evaluation dataset for formal verification of C code.
Style de citation Chicago (17e éd.)Hertzberg, Niclas, Merlijn Sevenhuijsen, Liv Kåreborn, et Anna Lokrantz. CASP: An Evaluation Dataset for Formal Verification of C Code. 2025.
Style de citation MLA (9e éd.)Hertzberg, Niclas, et al. CASP: An Evaluation Dataset for Formal Verification of C Code. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.