- Author: Ben Weidig
- Language: English
- Year: 2023
Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
- Author: Erik Engheim
- Language: English
- Year: 2023
- Author: Эрик Норманд
- Language: Русский
- Year: 2023
Quick Recursion
pdf
- Author: David Matuszek
- Language: English
- Year: 2023
- Author: Scott N. Walck
- Language: English
- Year: 2023
- Author: Benjamin Evans Martijn Verburg Jason Clark
- Language: English
- Year: 2022
- Author: Cay Horstmann
- Language: English
- Year: 2022