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]
Abstract is missing.