Michael Feldman, S. Tucker Taft, editors, Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. ACM, 2014. [doi]
Conference: sigada2014
@proceedings{sigada-2014,
title = {Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014},
year = {2014},
doi = {10.1145/2663171},
url = {http://doi.acm.org/10.1145/2663171},
researchr = {https://researchr.org/publication/sigada-2014},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014},
conference = {sigada},
editor = {Michael Feldman and S. Tucker Taft},
publisher = {ACM},
isbn = {978-1-4503-3217-0},
}