← Search(YIP 09) "SPECIFICATION-BASED ERROR RECOVERY: THEORY, ALGORITHMS, AND USABILITY"$309,969FY2009Department of the Air ForceDODUniversity Of Texas At Austin, Austin TXInvestigatorsView source on USAspending →