Integrating Formal Methods for Security in Software Security Education

Informatics in education, 2020, Vol.19 (3), p.425-454 [Peer Reviewed Journal]

2020. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 1648-5831 ;EISSN: 2335-8971 ;DOI: 10.15388/infedu.2020.19

Full text available