TY  - JOUR
AU  - Jeffrey Voas
AU  - Kim Schaffer
C2  - Computer (IEEE Computer)
DA  - 2016-05-27
DO  - https://doi.org/10.1109/MC.2016.131
LA  - en
M1  - 49
PB  - Computer (IEEE Computer)
PY  - 2016
TI  - Insights on Formal Methods of Cybersecurity
ER  -