Certus: an organizational effort towards research-based innovation in software verification and validation
- Authors
- S. Sen, D. Marijan and A. Gotlieb
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2018
- Journal
- International Journal of Systems Assurance Engineering and Management
- Publisher
- Springer
- Citation key
- 15006