Compositional certified resource bounds

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 03, 2015
Source ID
10.1145/2737924.2737955

Entities

People

  • Jan Hoffmann
  • Quentin Carbonneaux
  • Zhong Shao

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • Office of Naval Research
  • Yale University