Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.

Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach

Browse the full ESOP paper archive.