Finding counterexamples from parsing conflicts

Document Details

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

Entities

People

Andrew C. Myers
Chinawat Isradisaikul

Organizations

Cornell University
National Science Foundation
Office of Naval Research