Sitnikovski, B. (2022). Introducing software verification with Dafny language: Proving program correctness. Apress.
Chicago-Zitierstil (17. Ausg.)Sitnikovski, Boro. Introducing Software Verification with Dafny Language: Proving Program Correctness. Berkeley, CA: Apress, 2022.
MLA-Zitierstil (9. Ausg.)Sitnikovski, Boro. Introducing Software Verification with Dafny Language: Proving Program Correctness. Apress, 2022.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.