DOE OSTI · 1375581
Formal Control-centric Verification of Complex C Programs.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Bueno, Denis. 2016-08-01. Formal Control-centric Verification of Complex C Programs.. https://www.osti.gov/biblio/1375581
Cite the original work for its findings. Save a collection to share your selection of sources.