Projected control graph for computing relevant program behaviors

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 01, 2018
Source ID
10.1016/j.scico.2018.04.003

Entities

People

  • Ahmed Tamrawi
  • Suresh Kothari

Organizations

  • Defense Advanced Research Projects Agency