APA (7th ed.) Citation

Bruns, D., Mostowski, W., & Ulbrich, M. (2015). Implementation-level verification of algorithms with KeY. International journal on software tools for technology transfer, 17(6), 729-744. https://doi.org/10.1007/s10009-013-0293-y

Chicago Style (17th ed.) Citation

Bruns, Daniel, Wojciech Mostowski, and Mattias Ulbrich. "Implementation-level Verification of Algorithms with KeY." International Journal on Software Tools for Technology Transfer 17, no. 6 (2015): 729-744. https://doi.org/10.1007/s10009-013-0293-y.

MLA (9th ed.) Citation

Bruns, Daniel, et al. "Implementation-level Verification of Algorithms with KeY." International Journal on Software Tools for Technology Transfer, vol. 17, no. 6, 2015, pp. 729-744, https://doi.org/10.1007/s10009-013-0293-y.