A Formal Study of Backward Compatible Dynamic Software Updates.

Jun Shen, Rida A. Bazzi

Browse the full SEFM paper archive.