Transformational Program Analysis

Kevin Lano. Transformational Program Analysis. Softw. Test., Verif. Reliab., 4(3):155-189, 1994.

Abstract

Abstract is missing.