Introducing Software Verification with Dafny Language Mehr Bücher von Boro Sitnikovski

Introduction to Dependent Types with Idris

2023

Introducing Blockchain with Lisp

2021