GGrantIndex
← Search

MECHANIZING THE METATHEORY OF THE REWIRE LANGUAGE WITH APPLICATIONS TO CODE VULNERABILITY. THIS RESEARCH CONSIDERS A FORMAL VERIFICATION APPROACH TO

$420,000FY2016Department of the NavyDOD

University Of Missouri System, Columbia MO

Investigators

View source on USAspending →
MECHANIZING THE METATHEORY OF THE REWIRE LANGUAGE WITH APPLICATIONS TO CODE VULNERABILITY. THIS RESEARCH CONSIDERS A FORMAL VERIFICATION APPROACH TO · GrantIndex