Formalizing dynamic software updating, in: (2003)

by G Bierman, M Hicks, P Sewell, G Stoyle
Venue:2nd International Workshop on Unanticipated Software Evolution (USE