Your search - Specifying and Verifying the Correctness of Dynamic Software Updates. - didn't match any user profiles.

Suggestions:

Make sure all words are spelled correctly.

Try different keywords.

Try more general keywords.

Try fewer keywords.

Try your query on all of Scholar.