Cita APA (7a ed.)

Sitnikovski, B. (2022). Introducing software verification with Dafny language: Proving program correctness. Apress L. P.

Cita Chicago Style (17a ed.)

Sitnikovski, Boro. Introducing Software Verification with Dafny Language: Proving Program Correctness. Berkeley, California: Apress L. P, 2022.

Cita MLA (9a ed.)

Sitnikovski, Boro. Introducing Software Verification with Dafny Language: Proving Program Correctness. Apress L. P, 2022.