"Levels" Of Reasoning About Software
What is erroneous program?   How do we understand that a program is erroneous? How can we...
Tags: softwaredesign, programming