Let's verify Linux

Document Details

Document Type
Pub Defense Publication
Publication Date
May 14, 2016
Source ID
10.1145/2889160.2889192

Entities

People

  • Ahmed Tamrawi
  • Jeremías Sauceda
  • Jon Mathews
  • Suresh Kothari

Organizations

  • Defense Advanced Research Projects Agency
  • Iowa State University