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

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]

Authors

Sagar Sen

This author has not been identified. Look up 'Sagar Sen' in Google

Dusica Marijan

This author has not been identified. Look up 'Dusica Marijan' in Google

Arnaud Gotlieb

This author has not been identified. Look up 'Arnaud Gotlieb' in Google