![](/img/cover-not-exists.png)
[ACM Press the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '08 - Local Hoare reasoning about DOM
Gardner, Philippa A., Smith, Gareth D., Wheelhouse, Mark J., Zarfaty, Uri D.Year:
2008
Language:
english
DOI:
10.1145/1376916.1376953
File:
PDF, 403 KB
english, 2008