Fiat

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 14, 2015
Source ID
10.1145/2676726.2677006

Entities

People

  • Adam Chlipala
  • Benjamin Delaware
  • ClĂ©ment Pit-Claudel
  • Jason Gross

Organizations

  • Defense Advanced Research Projects Agency
  • Division of Computing and Communication Foundations
  • Massachusetts Institute of Technology