Integrating Formal Methods for Security in Software Security Education

Paolo Modesti

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Integrating Formal Methods for Security in Software Security Education'. Together they form a unique fingerprint.

Engineering & Materials Science

Social Sciences