APA (7th ed.) Citation

Amusuo, P. C., Patil, P. V., Cochell, O., Le Lievre, T., & Davis, J. C. (2025, April 27). A Unit Proofing Framework for Code-level Verification: A Research Agenda. IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online), 36-40. https://doi.org/10.1109/ICSE-NIER66352.2025.00013

Chicago Style (17th ed.) Citation

Amusuo, Paschal C., Parth V. Patil, Owen Cochell, Taylor Le Lievre, and James C. Davis. "A Unit Proofing Framework for Code-level Verification: A Research Agenda." IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) 27 Apr. 2025: 36-40. https://doi.org/10.1109/ICSE-NIER66352.2025.00013.

MLA (9th ed.) Citation

Amusuo, Paschal C., et al. "A Unit Proofing Framework for Code-level Verification: A Research Agenda." IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online), 27 Apr. 2025, pp. 36-40, https://doi.org/10.1109/ICSE-NIER66352.2025.00013.