APA (7th ed.) Citation

Hertzberg, N., Sevenhuijsen, M., Kåreborn, L., & Lokrantz, A. (2025). CASP: An evaluation dataset for formal verification of C code.

Chicago Style (17th ed.) Citation

Hertzberg, Niclas, Merlijn Sevenhuijsen, Liv Kåreborn, and Anna Lokrantz. CASP: An Evaluation Dataset for Formal Verification of C Code. 2025.

MLA (9th ed.) Citation

Hertzberg, Niclas, et al. CASP: An Evaluation Dataset for Formal Verification of C Code. 2025.