Certus: an organizational effort towards research-based innovation in software verification and validation

Certus: an organizational effort towards research-based innovation in software verification and validation

Authors
S. Sen, D. Marijan and A. Gotlieb