Citations refer to the original publication, not to a Scieee localized version.
Núñez Fernández, C. (2020). Elementos de matemáticas formalizados en Isabelle/HOL. https://idus.us.es/items/bf6251e0-ec3a-4618-917b-632cfd23b1e1
Núñez Fernández, Carlos. Elementos de matemáticas formalizados en Isabelle/HOL. 2020. https://idus.us.es/items/bf6251e0-ec3a-4618-917b-632cfd23b1e1.
Núñez Fernández, Carlos. Elementos de matemáticas formalizados en Isabelle/HOL. 2020. https://idus.us.es/items/bf6251e0-ec3a-4618-917b-632cfd23b1e1.
Núñez Fernández, C. (2020) Elementos de matemáticas formalizados en Isabelle/HOL. Available at: https://idus.us.es/items/bf6251e0-ec3a-4618-917b-632cfd23b1e1.
C. Núñez Fernández, “Elementos de matemáticas formalizados en Isabelle/HOL,” 2020. [Online]. Available: https://idus.us.es/items/bf6251e0-ec3a-4618-917b-632cfd23b1e1
@misc{nunezfernandez2020elementos,
author = {Núñez Fernández, Carlos},
title = {Elementos de matemáticas formalizados en Isabelle/HOL},
year = {2020},
url = {https://idus.us.es/items/bf6251e0-ec3a-4618-917b-632cfd23b1e1}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
