Verifying the proxy design pattern using object propositions

Document Details

Document Type: Pub Defense Publication
Publication Date: Oct 22, 2017
Source ID: 10.1145/3135932.3135950

Entities

People

Ligia Nistor

Organizations

Carnegie Mellon University
Defense Advanced Research Projects Agency