← SearchNAME OF EFFORT: ACCOUNTABILITY FOR INFORMATION FLOW VIA EXPLICIT FORMAL PROOF$285,712FY2008Department of the Air ForceDODCarnegie Mellon University, Pittsburgh PAInvestigatorsView source on USAspending →