POSTER

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 30, 2017
Source ID
10.1145/3133956.3138820

Entities

People

  • Corina S. Păsăreanu
  • Kasper Luckow
  • Rody Kersten

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency