Concepedia

Publication | Closed Access

Insights on Formal Methods in Cybersecurity

DOI

10

Citations

7

References

2016

Year

Jeffrey Voas, Kim Schaffer
Computer

Abstract

Seven experts weigh in on the current use and practice of formal methods in cybersecurity.

References

YearCitations

Page 1