Stem symdiff$ (all stems)
1 papers:
CAV-2012-LahiriHKR #imperative #named #semantics #source code- SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
CAV-2012-LahiriHKR #imperative #named #semantics #source code