Correstness of Programs over Poor Signatures

Hardi Hungar. Correstness of Programs over Poor Signatures. In Somenath Biswas, Kesav V. Nori, editors, Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Volume 560 of Lecture Notes in Computer Science, pages 109-120, Springer, 1991.

Abstract

Abstract is missing.