APA (7th ed.) Citation

Dardik, I., Porter, A., & Kang, E. (2024). Recomposition: A New Technique for Efficient Compositional Verification.

Chicago Style (17th ed.) Citation

Dardik, Ian, April Porter, and Eunsuk Kang. Recomposition: A New Technique for Efficient Compositional Verification. 2024.

MLA (9th ed.) Citation

Dardik, Ian, et al. Recomposition: A New Technique for Efficient Compositional Verification. 2024.