Gudmund Grov, Yuhui Lin, Vytautas Tumas
Mechanised Verification Patterns for Dafny
FM, 2016.
@inproceedings{FM-2016-GrovLT,
author = "Gudmund Grov and Yuhui Lin and Vytautas Tumas",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_20",
isbn = "978-3-319-48988-9",
pages = "326--343",
title = "{Mechanised Verification Patterns for Dafny}",
year = 2016,
}