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.

Authors

Wolfgang Reif

This author has not been identified. It may be one of the following persons: Look up 'Wolfgang Reif' in Google