Opening book details…
About this Computer Science article
Certus: an Organizational Effort Towards Research-based Innovation in Software Verification and Validation by Sen, Sagar; Marijan, Dusica; Gotlieb, Arnaud is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Sen, Sagar; Marijan, Dusica; Gotlieb, Arnaud
- Publisher
- Springer-Verlag; Springer India; Springer Science and Business Media LLC (ISSN 0975-6809)
- Published
- 2015
- Field
- Computer Science (Physical Sciences)
More by Sen, Sagar; Marijan, Dusica; Gotlieb, Arnaud
Browse all works by Sen, Sagar; Marijan, Dusica; Gotlieb, Arnaud