@inproceedings{Dietl_2012,
    doi = {10.1145/2318202.2318210},
    url = {https://doi.org/10.1145%2F2318202.2318210},
    year = {2012},
    month = {jun},
    publisher = {{ACM}},
    author = {Werner Dietl and Stephanie Dietzel and Michael D. Ernst and Nathaniel Mote and Brian Walker and Seth Cooper and Timothy Pavlik and Zoran Popovi{\'{c}}},
    title = {Verification games},
    booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs}
}

@inproceedings{Dietl_2012, doi = {10.1145/2318202.2318210}, url = {https://doi.org/10.1145%2F2318202.2318210}, year = {2012}, month = {jun}, publisher = {{ACM}}, author = {Werner Dietl and Stephanie Dietzel and Michael D. Ernst and Nathaniel Mote and Brian Walker and Seth Cooper and Timothy Pavlik and Zoran Popovi{\'{c}}}, title = {Verification games}, booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs} }