TY  - BOOK
AU  - Boro Sitnikovski
TI  - Introducing Software Verification with Dafny Language
SN  - 9781484279786
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-1-4842-7978-6
ER  -