NASA NTRS · 20190033794
Talking Points on Reducing Software Vulnerabilities: Formal Methods
Abstract
No abstract available
Keep this discovery
Explore connections, maps & timelines
Doyle, Richard, Joshi, Rajeev, Havelund, Klaus. 2016-07-13. Talking Points on Reducing Software Vulnerabilities: Formal Methods. https://ntrs.nasa.gov/citations/20190033794
Cite the original work for its findings. Save a collection to share your selection of sources.