Sozeau, M., Anand, A., Boulier, S., Cohen, C., Forster, Y., Kunze, F., . . . Winterhalter, T. (2020). The MetaCoq Project. Journal of automated reasoning, 64(5), 947-999. https://doi.org/10.1007/s10817-019-09540-0
Citace podle Chicago (17th ed.)Sozeau, Matthieu, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, a Théo Winterhalter. "The MetaCoq Project." Journal of Automated Reasoning 64, no. 5 (2020): 947-999. https://doi.org/10.1007/s10817-019-09540-0.
Citace podle MLA (9th ed.)Sozeau, Matthieu, et al. "The MetaCoq Project." Journal of Automated Reasoning, vol. 64, no. 5, 2020, pp. 947-999, https://doi.org/10.1007/s10817-019-09540-0.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..