T)" for each given heap formula k (using XPure function as in [13]). • For our inference, its goal is to infer a precondition (p3 and gather a set of ...
確定! 回上一頁