Cita APA

Ziliani, L. F., Dreyer, D., Krishnaswami, N. R., Nanevski, A., & Vafeiadis, V. (2015). Mtac: A monad for typed tactic programming in Coq. Web

Citación estilo Chicago

Ziliani, Luis Francisco, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, and Viktor Vafeiadis. Mtac: A Monad for Typed Tactic Programming in Coq. 2015.

Cita MLA

Ziliani, Luis Francisco, et al. Mtac: A Monad for Typed Tactic Programming in Coq. 2015.