Title: The correctness-by-construction approach to programming
Subjects: Formal methods (Computer science), Software engineering, Computer science, Logic design, System design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages