Refactoring Boundary. - Tim Wood 004; Sophia Drossopoulou (ICCSW, 2013)

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. - Tim Wood 004; Sophia Drossopoulou; Shuvendu K. Lahiri; Susan Eisenbach (ESOP, 2017)