
Introducing Software Verification with Dafny Language: Proving Program Correctness (PDF/EPUB Version)
$19.99
Description
Author: Boro Sitnikovski
Series:
Publisher: Apress
Year: 2022
Edition:
Language: English
ISSN: