Loulergue, F., Bousdira, W., & Tesson, J. (2017). Calculating Parallel Programs in Coq Using List Homomorphisms. International Journal of Parallel Programming, 45(2), 300-319. https://doi.org/10.1007/s10766-016-0415-8
Citácia podle Chicago (17th ed.)Loulergue, Frédéric, Wadoud Bousdira, a Julien Tesson. "Calculating Parallel Programs in Coq Using List Homomorphisms." International Journal of Parallel Programming 45, no. 2 (2017): 300-319. https://doi.org/10.1007/s10766-016-0415-8.
Citácia podľa MLA (8th ed.)Loulergue, Frédéric, et al. "Calculating Parallel Programs in Coq Using List Homomorphisms." International Journal of Parallel Programming, vol. 45, no. 2, 2017, pp. 300-319, https://doi.org/10.1007/s10766-016-0415-8.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..