@inproceedings{Ball_2006,
    doi = {10.1145/1217935.1217943},
    url = {https://doi.org/10.1145%2F1217935.1217943},
    year = {2006},
    month = {apr},
    publisher = {{ACM}},
    author = {Thomas Ball and Ella Bounimova and Byron Cook and Vladimir Levin and Jakob Lichtenberg and Con McGarvey and Bohus Ondrusek and Sriram K. Rajamani and Abdullah Ustuner},
    title = {Thorough static analysis of device drivers},
    booktitle = {Proceedings of the 1st {ACM} {SIGOPS}/{EuroSys} European Conference on Computer Systems 2006}
}

@inproceedings{Ball_2006, doi = {10.1145/1217935.1217943}, url = {https://doi.org/10.1145%2F1217935.1217943}, year = {2006}, month = {apr}, publisher = {{ACM}}, author = {Thomas Ball and Ella Bounimova and Byron Cook and Vladimir Levin and Jakob Lichtenberg and Con McGarvey and Bohus Ondrusek and Sriram K. Rajamani and Abdullah Ustuner}, title = {Thorough static analysis of device drivers}, booktitle = {Proceedings of the 1st {ACM} {SIGOPS}/{EuroSys} European Conference on Computer Systems 2006} }