Search NASA⌕ Search

DOE OSTI · 1871626

Formalization and Expansion of the CTF Code Verification Matrix.

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Porter, Nathan Wayne. 2021-06-01. Formalization and Expansion of the CTF Code Verification Matrix.. https://www.osti.gov/biblio/1871626

Cite the original work for its findings. Save a collection to share your selection of sources.