220 followers Verification papers @verif_papers A Formal Study of Backward Compatible Dynamic Software Updates. - Jun Shen, Rida A. Bazzi http://t.co/ntDABwR4cr 26 Aug 2015 Reply Repost Favourite