- Author: Pietro Egidi
- Language: English
- Year: 2010
- 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: Christian Colombo Gordon J. Pace
- Language: English
- Year: 2022
- Author: Билл Лабун
- Language: Русский
- Year: 2022
- Author: Casey Rosenthal Nora Jones
- Language: English
- Year: 2020
- Author: Bill Kovach Tom Rosenstiel
- Language: English
- Year: 2010
- Author: James E. Katz and Kate K. Mays
- Language: English
- Year: 2019