Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster. Specifying and Verifying the Correctness of Dynamic Software Updates. In Rajeev Joshi, Peter Müller 0002, Andreas Podelski, editors, Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Volume 7152 of Lecture Notes in Computer Science, pages 278-293, Springer, 2012. [doi]
Abstract is missing.