Local Hoare reasoning about DOM.

Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty

Browse the full PODS paper archive.