Introducing software verification with Dafny language: proving program correctness

Average Rating

Author

Sitnikovski, Boro

Publisher

Apress L. P

Publication Date

2022.

Language

English

Description

Loading Description...

More Details

ISBN

9781484279786

Table of Contents

Subjects

Subjects

Computer software -- Verification
Dafny (Computer program language)

Also in this Series

Checking series information...

More Like This

Loading more titles like this title...

Published Reviews

Reviews from GoodReads

Loading GoodReads Reviews.

Staff View

Loading Staff View.