@article{Kaiser_2014,
    doi = {10.1145/2629608},
    url = {https://doi.org/10.1145%2F2629608},
    year = {2014},
    month = {oct},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {36},
    number = {4},
    pages = {1--29},
    author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
    title = {A Widening Approach to Multithreaded Program Verification},
    journal = {{ACM} Transactions on Programming Languages and Systems}
}

@article{Kaiser_2014, doi = {10.1145/2629608}, url = {https://doi.org/10.1145%2F2629608}, year = {2014}, month = {oct}, publisher = {Association for Computing Machinery ({ACM})}, volume = {36}, number = {4}, pages = {1--29}, author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl}, title = {A Widening Approach to Multithreaded Program Verification}, journal = {{ACM} Transactions on Programming Languages and Systems} }