APA-Zitierstil (7. Ausg.)

MODESTI, P. (2020). Integrating Formal Methods for Security in Software Security Education. Informatics in education, 19(3), 425-454. https://doi.org/10.15388/infedu.2020.19

Chicago-Zitierstil (17. Ausg.)

MODESTI, Paolo. "Integrating Formal Methods for Security in Software Security Education." Informatics in Education 19, no. 3 (2020): 425-454. https://doi.org/10.15388/infedu.2020.19.

MLA-Zitierstil (9. Ausg.)

MODESTI, Paolo. "Integrating Formal Methods for Security in Software Security Education." Informatics in Education, vol. 19, no. 3, 2020, pp. 425-454, https://doi.org/10.15388/infedu.2020.19.