Results for Dafny

Publications & Outputs

1. The Faultless Way of Programming: Principles, Patterns, Practices, and Peculiarities for Verification in Dafny

   Noble, J. & Weir, C., 15/11/2024, (E-pub ahead of print) EuroPLoP 2024 Proceedings. New York: ACM, 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review