DMCA

Specifying and Verifying the Correctness of Dynamic Software Updates (2010)

by Stephen Magill , Christopher M. Hayden , Michael Hicks , Nate Foster , Jeffrey S. Foster
Citations:15 - 9 self