APA (7th ed.) Citation

Ahrendt, W., Beckert, B., Giese, M., & Rümmer, P. (2010). Practical Aspects of Automated Deduction for Program Verification. KI. Künstliche Intelligenz (Oldenbourg), 24(1), 43-49. https://doi.org/10.1007/s13218-010-0001-y

Chicago Style (17th ed.) Citation

Ahrendt, Wolfgang, Bernhard Beckert, Martin Giese, and Philipp Rümmer. "Practical Aspects of Automated Deduction for Program Verification." KI. Künstliche Intelligenz (Oldenbourg) 24, no. 1 (2010): 43-49. https://doi.org/10.1007/s13218-010-0001-y.

MLA (9th ed.) Citation

Ahrendt, Wolfgang, et al. "Practical Aspects of Automated Deduction for Program Verification." KI. Künstliche Intelligenz (Oldenbourg), vol. 24, no. 1, 2010, pp. 43-49, https://doi.org/10.1007/s13218-010-0001-y.