Assertion Programming

Andrzej Blikle. Assertion Programming. In Jirí Becvár, editor, Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979. Volume 74 of Lecture Notes in Computer Science, pages 26-42, Springer, 1979.

Abstract

Abstract is missing.