Title: Verifiable programming
Subjects: Computer programs, Verification, 54.51 programming techniques, Programmverifikation, Programmatuurtechniek