APA (7th ed.) Citation

Loulergue, F., Bousdira, W., & Tesson, J. (2017). Calculating Parallel Programs in Coq Using List Homomorphisms. International Journal of Parallel Programming, 45(2), 300. https://doi.org/10.1007/s10766-016-0415-8

Chicago Style (17th ed.) Citation

Loulergue, Frédéric, Wadoud Bousdira, and Julien Tesson. "Calculating Parallel Programs in Coq Using List Homomorphisms." International Journal of Parallel Programming 45, no. 2 (2017): 300. https://doi.org/10.1007/s10766-016-0415-8.

MLA (9th ed.) Citation

Loulergue, Frédéric, et al. "Calculating Parallel Programs in Coq Using List Homomorphisms." International Journal of Parallel Programming, vol. 45, no. 2, 2017, p. 300, https://doi.org/10.1007/s10766-016-0415-8.