Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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