Introducing Software Verificat - GOOD

Introducing Software Verification With Dafny Language : Proving Program Corre...

Introducing Software Verification w..., Sitnikovski, Bo

Introducing Software Verification with Dafny Language - 9781484279779

Introducing Software Verification with Dafny Language: Proving Program Correctne

Python How to Program Introducing XML With CD-ROM Deitel

Monad (AKA PowerShell): Introducing the MSH Command Shell and Language - GOOD