Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson. Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. Softw. Test., Verif. Reliab., 7(4):201-227, 1997.

Abstract

Abstract is missing.