Specifying and verifying the correctness of dynamic software updates. (2012)

by Christopher Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S Foster
Venue:In VSTTE,