
Code Verification Capabilities and Assessments in Support of ASC V&V Level 2 Milestone #6035
Author(s) -
Scott W. Doebling,
Joanne Budzien,
Jim Ferguson,
Megan Harwell,
Kyle S. Hickmann,
Daniel M. Israel,
William Richard Magrogan,
Jannie L. Singleton,
G. Srinivasan,
J{ u}rgen Walter,
C. Nathan Woods
Publication year - 2017
Language(s) - English
Resource type - Reports
DOI - 10.2172/1394946
Subject(s) - milestone , computer science , code (set theory) , set (abstract data type) , software engineering , implementation , programming language , software , archaeology , history