@incollection{Leino_2010,
    doi = {10.1007/978-3-642-17511-4_20},
    url = {https://doi.org/10.1007%2F978-3-642-17511-4_20},
    year = {2010},
    publisher = {Springer Berlin Heidelberg},
    pages = {348--370},
    author = {K. Rustan M. Leino},
    title = {Dafny: An Automatic Program Verifier for Functional Correctness},
    booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning}
}

@incollection{Leino_2010, doi = {10.1007/978-3-642-17511-4_20}, url = {https://doi.org/10.1007%2F978-3-642-17511-4_20}, year = {2010}, publisher = {Springer Berlin Heidelberg}, pages = {348--370}, author = {K. Rustan M. Leino}, title = {Dafny: An Automatic Program Verifier for Functional Correctness}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning} }