Exploring Hybrid Dynamic and Static Techniques for Software Verification
Date Published
2010
Publication Type
Report (Study/Research)
Agencies
NIJ-Sponsored
Date Created: September 3, 2020