Cita APA (7a ed.)

Fernández Chaparro Plata, J. D., & Hernández, N. S. (2019). Implementación de un verificador de modelos CTL simbólico en Haskell.

Cita Chicago Style (17a ed.)

Fernández Chaparro Plata, Javier Diego, y Noé Salomón Hernández. Implementación De Un Verificador De Modelos CTL Simbólico En Haskell. 2019.

Cita MLA (8a ed.)

Fernández Chaparro Plata, Javier Diego, y Noé Salomón Hernández. Implementación De Un Verificador De Modelos CTL Simbólico En Haskell. 2019.