Tim Wood

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Boundary Extraction

Image Processing

Software Development

Top Venues

Publications

Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP (2017)
Tim Wood, Sophia Drossopoulou
Refactoring Boundary. ICCSW (2013)