Ensuring Correctness by Arbitrary Postfixed-Points

Michel Sintzoff. Ensuring Correctness by Arbitrary Postfixed-Points. In Józef Winkowski, editor, Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Volume 64 of Lecture Notes in Computer Science, pages 484-492, Springer, 1978.

Abstract

Abstract is missing.