@incollection{Ball_2001,
    doi = {10.1007/3-540-44585-4_25},
    url = {https://doi.org/10.1007%2F3-540-44585-4_25},
    year = {2001},
    publisher = {Springer Berlin Heidelberg},
    pages = {260--264},
    author = {Thomas Ball and Sriram K. Rajamani},
    title = {The {SLAM} Toolkit},
    booktitle = {Computer Aided Verification}
}

@incollection{Ball_2001, doi = {10.1007/3-540-44585-4_25}, url = {https://doi.org/10.1007%2F3-540-44585-4_25}, year = {2001}, publisher = {Springer Berlin Heidelberg}, pages = {260--264}, author = {Thomas Ball and Sriram K. Rajamani}, title = {The {SLAM} Toolkit}, booktitle = {Computer Aided Verification} }