Mathematical Theory of Program Correctness Book Discussion
Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)
by
Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)