Title: Formal methods of program verification and specification
Subjects: Specifications, Formal methods (Computer science), Verification, Computer programs, Computer software, testing