- Author: Alan D Wolfelt, Alan D Wolfelt, Kirby J. Duvall
- Language: English
- Year: 2012
- Author: Marieke Huisman Anton Wijs
- Language: English
- Year: 2023
Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
- Author: Билл Лабун
- Language: Русский
- Year: 2022
- Author: Bill Laboon
- Language: English
- Year: 2016
- Author: Lettnin Djones, Winterholer Markus
- Language: English
- Year: 2017
- Author: Kaner Cem, Bach James
- Language: English
- Year: 2001
- Author: Lahiri Shuvendu, Reger Giles
- Language: English
- Year: 2017
- Author: Drechsler Rolf
- Language: English
- Year: 2018
- Author: Yoeli Michael, Kol Rakefet
- Language: English
- Year: 2008