Giesl, J., Aschermann, C., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., . . . Thiemann, R. (2017). Analyzing Program Termination and Complexity Automatically with AProVE. Journal of automated reasoning, 58(1), 3-31. https://doi.org/10.1007/s10817-016-9388-y
Citácia podle Chicago (17th ed.)Giesl, Jürgen, et al. "Analyzing Program Termination and Complexity Automatically with AProVE." Journal of Automated Reasoning 58, no. 1 (2017): 3-31. https://doi.org/10.1007/s10817-016-9388-y.
Citácia podľa MLA (8th ed.)Giesl, Jürgen, et al. "Analyzing Program Termination and Complexity Automatically with AProVE." Journal of Automated Reasoning, vol. 58, no. 1, 2017, pp. 3-31, https://doi.org/10.1007/s10817-016-9388-y.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..