3 citations · 3 across the 1 of their papers we have counts for
1 paper
Natarajan Shankar, Devesh Bhatt, Michael Ernst +8
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapi…