Book DafnyFix: Single-Transformation Automated Repair in Dafny Isabel Amaral Álvaro F. Silva João F. Ferreira Alexandra Mendes Oct 2026 · 0 citations · 28 references DOI Semantic Scholar Save View source Cite Copy APA Copied ✓ Copy MLA Copied ✓ Copy BibTeX Copied ✓ Share
