Cita APA (7a ed.)

Cao, Q., Wu, X., & Liang, Y. (2024). A Coq Library of Sets for Teaching Denotational Semantics.

Cita Chicago Style (17a ed.)

Cao, Qinxiang, Xiwei Wu, y Yalun Liang. A Coq Library of Sets for Teaching Denotational Semantics. 2024.

Cita MLA (9a ed.)

Cao, Qinxiang, et al. A Coq Library of Sets for Teaching Denotational Semantics. 2024.