Citação norma APA

Aransay Azofra, J. M. [., & Domínguez, C. [. (2010). Formalizing simplicial topology in Isabelle/ HOL and Coq.

Citação norma Chicago

Aransay Azofra, Jesús María [0000-0002-4079-8307], y César [0000-0002-2081-7523] Domínguez. Formalizing Simplicial Topology in Isabelle/ HOL and Coq. 2010.

Citação norma MLA

Aransay Azofra, Jesús María [0000-0002-4079-8307], y César [0000-0002-2081-7523] Domínguez. Formalizing Simplicial Topology in Isabelle/ HOL and Coq. 2010.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.