Property templates for checking source code security
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Sep 29, 2017
- Source ID
- 10.1145/3127041.3127063
Entities
People
- Constance L. Heitmeyer
- Elizabeth I. Leonard
- Myla M. Archer
Organizations
- United States Naval Research Laboratory