Edinburgh Research Explorer

Mechanised Verification Patterns for Dafny

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Mechanised Verification Patterns for Dafny. / Grov, Gudmund; Lin, Yuhui; Tumas, Vytautas.

FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, 2016. p. 326-343 (Lecture Notes in Computer Science ; Vol. 9995).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Grov, G, Lin, Y & Tumas, V 2016, Mechanised Verification Patterns for Dafny. in FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science , vol. 9995, Springer, Cham, pp. 326-343, 21st International Symposium on Formal Methods, Limassol, Cyprus, 7/11/16. https://doi.org/10.1007/978-3-319-48989-6_20

APA

Grov, G., Lin, Y., & Tumas, V. (2016). Mechanised Verification Patterns for Dafny. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (pp. 326-343). (Lecture Notes in Computer Science ; Vol. 9995). Springer, Cham. https://doi.org/10.1007/978-3-319-48989-6_20

Vancouver

Grov G, Lin Y, Tumas V. Mechanised Verification Patterns for Dafny. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham. 2016. p. 326-343. (Lecture Notes in Computer Science ). https://doi.org/10.1007/978-3-319-48989-6_20

Author

Grov, Gudmund ; Lin, Yuhui ; Tumas, Vytautas. / Mechanised Verification Patterns for Dafny. FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, 2016. pp. 326-343 (Lecture Notes in Computer Science ).