Introducing Software Verification with Dafny Language Mais livros de Boro Sitnikovski

Introducing Blockchain with Lisp Introducing Blockchain with Lisp
2021
Introduction to Dependent Types with Idris Introduction to Dependent Types with Idris
2023