PROGRAM ANALYSIS TECHNIQUES FOR EFFICIENT SOFTWARE MODEL CHECKING

$351,678FY2008Department of the Air ForceDOD

Regents Of The University Of Michigan

Investigators

View source on USAspending →