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