@article{M_Leino_2017,
    doi = {10.1109/ms.2017.4121212},
    url = {https://doi.org/10.1109%2Fms.2017.4121212},
    year = {2017},
    month = {nov},
    publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
    volume = {34},
    number = {6},
    pages = {94--97},
    author = {K. Rustan M. Leino},
    title = {Accessible Software Verification with Dafny},
    journal = {{IEEE} Software}
}

@article{M_Leino_2017, doi = {10.1109/ms.2017.4121212}, url = {https://doi.org/10.1109%2Fms.2017.4121212}, year = {2017}, month = {nov}, publisher = {Institute of Electrical and Electronics Engineers ({IEEE})}, volume = {34}, number = {6}, pages = {94--97}, author = {K. Rustan M. Leino}, title = {Accessible Software Verification with Dafny}, journal = {{IEEE} Software} }