Cita APA (7a ed.)

Dedenko, G. (2025). FLT-Coq v0.3.0 — GlobalNormalization module and maximum-coverage API. Zenodo.

Cita Chicago Style (17a ed.)

Dedenko, Grigoriy. FLT-Coq V0.3.0 — GlobalNormalization Module and Maximum-coverage API. Zenodo, 2025.

Cita MLA (9a ed.)

Dedenko, Grigoriy. FLT-Coq V0.3.0 — GlobalNormalization Module and Maximum-coverage API. Zenodo, 2025.

Precaución: Estas citas no son 100% exactas.