Cita APA (7a ed.)

Wu, H., Wang, Q., Xue, B., Zhan, N., Zhi, L., & Yang, Z. (2023). Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Cita Chicago Style (17a ed.)

Wu, Hao, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, y Zhihong Yang. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 2023.

Cita MLA (9a ed.)

Wu, Hao, et al. Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. 2023.