Certus: glimpses of a centre for research-based innovation in software verification and validation
- Authors
- S. Sen
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2014
- Journal
- Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices
- Publisher
- ACM
- Citation key
- 13755