@incollection{Barnett_2006,
    doi = {10.1007/11804192_17},
    url = {https://doi.org/10.1007%2F11804192_17},
    year = {2006},
    publisher = {Springer Berlin Heidelberg},
    pages = {364--387},
    author = {Mike Barnett and Bor-Yuh Evan Chang and Robert DeLine and Bart Jacobs and K. Rustan M. Leino},
    title = {Boogie: A Modular Reusable Verifier for Object-Oriented Programs},
    booktitle = {Formal Methods for Components and Objects}
}

@incollection{Barnett_2006, doi = {10.1007/11804192_17}, url = {https://doi.org/10.1007%2F11804192_17}, year = {2006}, publisher = {Springer Berlin Heidelberg}, pages = {364--387}, author = {Mike Barnett and Bor-Yuh Evan Chang and Robert DeLine and Bart Jacobs and K. Rustan M. Leino}, title = {Boogie: A Modular Reusable Verifier for Object-Oriented Programs}, booktitle = {Formal Methods for Components and Objects} }