Proof assistants at the hardware-software interface (invited talk)

Document Details

Document Type: Pub Defense Publication
Publication Date: Jan 20, 2020
Source ID: 10.1145/3372885.3378575

Entities

People

Adam Chlipala

Organizations

Defense Advanced Research Projects Agency
Massachusetts Institute of Technology
National Science Foundation