Correction.

publications.bib

@@ -530,7 +530,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   Pages     = {401--422},
   url       = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},
   doi       = {10.1007/978-3-319-47958-3_21},
-  Project   = { concurrency },
+  Project   = { web },
   
   Abstract  = {We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specfication allows us to develop modular reasoning about client programs that call the DOM.}
 }