Normal view MARC view ISBD view

Introducing Software Verification with Dafny Language

Boro Sitnikovski

Introducing Software Verification with Dafny Language - Springer Springer 2022

ISBN: 9781484279786

Source: EBOOK