Ernst, G., Huisman, M., Mostowski, W., & Ulbrich, M. (2019). VerifyThis – Verification Competition with a Human Factor. Lecture Notes in Computer Science, 11429, 176. https://doi.org/10.1007/978-3-030-17502-3_12
Citácia podle Chicago (17th ed.)Ernst, Gidon, Marieke Huisman, Wojciech Mostowski, a Mattias Ulbrich. "VerifyThis – Verification Competition with a Human Factor." Lecture Notes in Computer Science 11429 (2019): 176. https://doi.org/10.1007/978-3-030-17502-3_12.
Citácia podľa MLA (8th ed.)Ernst, Gidon, et al. "VerifyThis – Verification Competition with a Human Factor." Lecture Notes in Computer Science, vol. 11429, 2019, p. 176, https://doi.org/10.1007/978-3-030-17502-3_12.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..