Milena Vujošević-Janičić, Jelena Tomašević, Verifikacija programa, Pregled poglavlja ,,Verification of Programs" knjige Mathematical Theory of Computation, autor Zohar Manna, McGraw-Hill, 1974.
Torben Amtoft, Lecture Notes on Program Verification, Kansas State University, 2003.
K. Rustan M. Leino, Lectures and Talks, Hoare-style program verification, Lecture Notes, Microsoft Research, 2004.
Mike Gordon, Specification and Verification, Lecture Notes, University of Cambridge, 2004.
Alfs T. Berztiss, Mark A. Ardis, Formal Verification of Programs, Lecture Notes, Carnegie Mellon University, 1988.
Peter H.Roosen-Runge, Formal Software verification tools: Part I, Part II , Part III, York University, Toronto, 2000.
Naredna: Literatura Gore: Verifikacija programa Prethodna: Prevođenje u C program Sadržaj