Application of Automatic Transformations to Program Verification

Robert Veroff, Lawrence J. Henschen. Application of Automatic Transformations to Program Verification. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 472-479, William Kaufmann, 1981.

Abstract

Abstract is missing.