Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering

Gerald C. Gannod, Betty H. C. Cheng. Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. In WCRE. 1995.

Abstract

Abstract is missing.