Verification of Large Software Systems

Wolfgang Reif. Verification of Large Software Systems. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Volume 652 of Lecture Notes in Computer Science, pages 241-252, Springer, 1992.

Abstract

Abstract is missing.