Introducing Software Verification with Dafny Language
Subtitle: Proving Program Correctness
Publisher: Apress L. P.
Published: 2022
Language: eng
ISBN-13: 9781484279779