How to Build Static Checking Systems Using Orders of Magnitude Less Code

Document Details

Document Type: Pub Defense Publication
Publication Date: Mar 25, 2016
Source ID: 10.1145/2954680.2872364

Entities

People

Andres Nötzli
Dawson Engler
Fraser Brown

Organizations

Defense Advanced Research Projects Agency
Stanford University