Sagar Sen. Certus: glimpses of a centre for research-based innovation in software verification and validation. In Rakesh Shukla, Anjaneyulu Pasala, Srinivas Padmanabhuni, editors, 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014. pages 2-5, ACM, 2014. [doi]
@inproceedings{Sen14-2,
title = {Certus: glimpses of a centre for research-based innovation in software verification and validation},
author = {Sagar Sen},
year = {2014},
doi = {10.1145/2593850.2593857},
url = {http://doi.acm.org/10.1145/2593850.2593857},
researchr = {https://researchr.org/publication/Sen14-2},
cites = {0},
citedby = {0},
pages = {2-5},
booktitle = {1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014},
editor = {Rakesh Shukla and Anjaneyulu Pasala and Srinivas Padmanabhuni},
publisher = {ACM},
isbn = {978-1-4503-2859-3},
}