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]
@inproceedings{HaydenMHFF12,
title = {Specifying and Verifying the Correctness of Dynamic Software Updates},
author = {Christopher M. Hayden and Stephen Magill and Michael Hicks and Nate Foster and Jeffrey S. Foster},
year = {2012},
doi = {10.1007/978-3-642-27705-4_22},
url = {http://dx.doi.org/10.1007/978-3-642-27705-4_22},
researchr = {https://researchr.org/publication/HaydenMHFF12},
cites = {0},
citedby = {0},
pages = {278-293},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings},
editor = {Rajeev Joshi and Peter Müller 0002 and Andreas Podelski},
volume = {7152},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-27704-7},
}