APA (7th ed.) Citation

Armstrong, A., Gomes, V., & Struth, G. (2016). Building program construction and verification tools from algebraic principles. Formal Aspects of Computing, 28(2), 265. https://doi.org/10.1007/s00165-015-0343-1

Chicago Style (17th ed.) Citation

Armstrong, Alasdair, Victor Gomes, and Georg Struth. "Building Program Construction and Verification Tools from Algebraic Principles." Formal Aspects of Computing 28, no. 2 (2016): 265. https://doi.org/10.1007/s00165-015-0343-1.

MLA (9th ed.) Citation

Armstrong, Alasdair, et al. "Building Program Construction and Verification Tools from Algebraic Principles." Formal Aspects of Computing, vol. 28, no. 2, 2016, p. 265, https://doi.org/10.1007/s00165-015-0343-1.