@misc{13755,
  author = {Sagar Sen},
  title = {Certus: glimpses of a centre for research-based innovation in software verification and validation},
  year = {2014},
  journal = {Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices},
  pages = {2{\textendash}5},
  publisher = {ACM},
}