NASA NTRS · 20060030559
Model checking for software security properties
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J. D., Gilliam, D. P.. 2002-07-13. Model checking for software security properties. https://ntrs.nasa.gov/citations/20060030559
Cite the original work for its findings. Save a collection to share your selection of sources.