Bases of Paths in Correctness Proofs

Venelin K. Evtimov. Bases of Paths in Correctness Proofs. In Andrzej Blikle, editor, Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings. Volume 28 of Lecture Notes in Computer Science, pages 359-360, Springer, 1974.

Abstract

Abstract is missing.