Building program construction and verification tools from algebraic principles.

MLA

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

APA

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

Chicago

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