Open AccessSpecifying and Verifying the Correctness of Dynamic Software Updates
Author(s) -
Christopher M. Hayden,
S. Magill,
Michael Hicks,
Nata Foster,
Jeffrey S. Foster
Publication year - 2011
Publication title -
digital repository at the university of maryland (university of maryland college park)
Language(s) - English
Resource type - Reports
DOI - 10.21236/ada560012
Subject(s) - correctness , computer science , programming language , software , software engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom