John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones. Certifiably safe software-dependent systems: challenges and directions. In James D. Herbsleb, Matthew B. Dwyer, editors, Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014. pages 182-200, ACM, 2014. [doi]
@inproceedings{HatcliffWKCJ14,
title = {Certifiably safe software-dependent systems: challenges and directions},
author = {John Hatcliff and Alan Wassyng and Tim Kelly and Cyrille Comar and Paul L. Jones},
year = {2014},
doi = {10.1145/2593882.2593895},
url = {http://doi.acm.org/10.1145/2593882.2593895},
researchr = {https://researchr.org/publication/HatcliffWKCJ14},
cites = {0},
citedby = {0},
pages = {182-200},
booktitle = {Proceedings of the on Future of Software Engineering, FOSE 2014, Hyderabad, India, May 31 - June 7, 2014},
editor = {James D. Herbsleb and Matthew B. Dwyer},
publisher = {ACM},
isbn = {978-1-4503-2865-4},
}