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
Citace podle Chicago (17th ed.)Bruns, Daniel, Wojciech Mostowski, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..