Berghammer, R., & Struth, G. (2010). On Automated Program Construction and Verification. Mathematics of Program Construction (9783642133206), 22-41. https://doi.org/10.1007/978-3-642-13321-3_4
Chicago Style (17th ed.) CitationBerghammer, Rudolf, and Georg Struth. "On Automated Program Construction and Verification." Mathematics of Program Construction (9783642133206) 2010: 22-41. https://doi.org/10.1007/978-3-642-13321-3_4.
MLA (8th ed.) CitationBerghammer, Rudolf, and Georg Struth. "On Automated Program Construction and Verification." Mathematics of Program Construction (9783642133206), 2010, pp. 22-41, https://doi.org/10.1007/978-3-642-13321-3_4.
Warning: These citations may not always be 100% accurate.