APA (7th ed.) Citation

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.) Citation

Berghammer, 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.) Citation

Berghammer, 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.