Title: Program construction and verification
Subjects: Computer programming, Developpement, Programmation, Programmverifikation, Computer programs, Validation logiciel, Programmation (Informatique), Verification logiciel, Logiciels, Programmierung, Ordinateurs, Production programme, Electronic digital computers, programming