Sagar Sen, Dusica Marijan, Arnaud Gotlieb. Certus: an organizational effort towards research-based innovation in software verification and validation. Int. J. Systems Assurance Engineering and Management, 9(2):313-322, 2018. [doi]
@article{SenMG18,
title = {Certus: an organizational effort towards research-based innovation in software verification and validation},
author = {Sagar Sen and Dusica Marijan and Arnaud Gotlieb},
year = {2018},
doi = {10.1007/s13198-015-0352-8},
url = {https://doi.org/10.1007/s13198-015-0352-8},
researchr = {https://researchr.org/publication/SenMG18},
cites = {0},
citedby = {0},
journal = {Int. J. Systems Assurance Engineering and Management},
volume = {9},
number = {2},
pages = {313-322},
}