Pragmatic Techniques for Program Analysis and Verification

Erhard Plödereder. Pragmatic Techniques for Program Analysis and Verification. In ICSE. pages 63-72, 1979.

Abstract

Abstract is missing.