Record Type: |
Electronic resources
: Monograph/item
|
Title/Author: |
Introducing software verification with Dafny languageby Boro Sitnikovski. |
Reminder of title: |
proving program correctness / |
Author: |
Sitnikovski, Boro. |
Published: |
Berkeley, CA :Apress :2022. |
Description: |
xx, 131 p. :ill., digital ;24 cm. |
Contained By: |
Springer Nature eBook |
Subject: |
Computer softwareVerification. |
Online resource: |
https://doi.org/10.1007/978-1-4842-7978-6 |
ISBN: |
9781484279786$q(electronic bk.) |