Cita APA (7a ed.)

Jiang, D., & Fu, C. (2024). Type Inference for Isabelle2Cpp.

Cita Chicago Style (17a ed.)

Jiang, Dongchen, y Chenxi Fu. Type Inference for Isabelle2Cpp. 2024.

Cita MLA (9a ed.)

Jiang, Dongchen, y Chenxi Fu. Type Inference for Isabelle2Cpp. 2024.