Edsger Dijkstra and the TSA school of software correctness
Joseph Goguen authored Algabraic Semantics of Imperative Programs, and was professor of computing sys...
Tags: opinion, computerscience, correctness, errors