TY - RPRT TI - CTF 4.0 Validation and Verification AU - Salko Jr, Robert AU - Wysocki, Aaron AU - Toptan, Aysenur AU - Porter, Nathan AU - Blyth, Taylor S. AU - Magedanz, Jeffrey W. AU - Dances, Christopher A. AU - Gergar, Marcus AU - Gosdin, Chris AU - Jernigan, Caleb AU - Kelly, Joseph AU - Palmtag, Scott AU - Gehin, Jess AU - Avramova, M. PY - 2019 DO - 10.2172/1550747 UR - https://www.osti.gov/biblio/1550747 ID - 1550747 ER -