Title: Rigorous software development
Subjects: Development, Verification, Computer software, Computer software, verification, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Software engineering, Computer science, Algebra, Data processing, Logic design, Computers &amp; the internet, Programming