Authors | S. Sen, D. Marijan and A. Gotlieb |
Title | Certus: an organizational effort towards research-based innovation in software verification and validation |
Afilliation | Software Engineering |
Project(s) | The Certus Centre (SFI) |
Status | Published |
Publication Type | Journal Article |
Year of Publication | 2018 |
Journal | International Journal of Systems Assurance Engineering and Management |
Volume | 9 |
Issue | 2 |
Pagination | 313-322 |
Publisher | Springer |
Citation Key | 25983 |