APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.