Title: The foundations of program verification
Subjects: Verification, Computer programs, Logiciels