Integrating Formal Methods for Security in Software Security Education
As the number of software vulnerabilities discovered increases, the industry is facing difficulties to find specialists to cover the vacancies for security software developers. Considering relevant teaching and learning theories, along with existing approaches in software security education, we pres...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University
2020-09-01
|
| Series: | Informatics in Education |
| Subjects: | |
| Online Access: | https://infedu.vu.lt/journal/INFEDU/article/657/info |