%0 Conference Paper %1 conf/icse/Sen14 %A Sen, Sagar %B SER&IPs %D 2014 %E Shukla, Rakesh %E Pasala, Anjaneyulu %E Padmanabhuni, Srinivas %I ACM %K dblp %P 2-5 %T Certus: glimpses of a centre for research-based innovation in software verification and validation. %U http://dblp.uni-trier.de/db/conf/icse/serips2014.html#Sen14 %@ 978-1-4503-2859-3

@inproceedings{conf/icse/Sen14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sen, Sagar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29eb081b256a7a7f8ed59b50cca1a679b/dblp}, booktitle = {SER&IPs}, crossref = {conf/icse/2014serips}, editor = {Shukla, Rakesh and Pasala, Anjaneyulu and Padmanabhuni, Srinivas}, ee = {https://doi.org/10.1145/2593850.2593857}, interhash = {c9c9b2e1aba54651d67bf6177a0af09a}, intrahash = {9eb081b256a7a7f8ed59b50cca1a679b}, isbn = {978-1-4503-2859-3}, keywords = {dblp}, pages = {2-5}, publisher = {ACM}, timestamp = {2019-09-27T21:47:15.000+0200}, title = {Certus: glimpses of a centre for research-based innovation in software verification and validation.}, url = {http://dblp.uni-trier.de/db/conf/icse/serips2014.html#Sen14}, year = 2014 }