Certus: Glimpses of a Centre for 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
- 2015
- Journal
- International Journal of System Assurance Engineering and Management
- Publisher
- Springer
- Citation key
- 13365