Strongest postcondition semantics as the formal basis for reverse engineering | IEEE Conference Publication | IEEE Xplore