Cita APA (7a ed.)

Li, X., Wang, X., Li, W., & Li, Z. (2026). PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement.

Cita Chicago Style (17a ed.)

Li, Xiaoqi, Xin Wang, Wenkai Li, y Zongwei Li. PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement. 2026.

Cita MLA (9a ed.)

Li, Xiaoqi, et al. PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement. 2026.