Collaborated with:S.Drossopoulou S.K.Lahiri S.Eisenbach
Talks about:procedur (1) presenc (1) modular (1) equival (1) memori (1) verif (1) alloc (1)
Person: Tim Wood 0004
DBLP: 0004:Tim_Wood
Contributed to:
2017Wrote 1 papers:
- ESOP-2017-WoodDLE #composition #equivalence #memory management #verification
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (TW0, SD, SKL, SE), pp. 937–963.