Update publications.bib

publications.bib

@@ -541,6 +541,6 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   doi       = {10.1007/978-3-319-47958-3_21},
   Project   = { concurrency },
   
-  Abstract  = {We present an axiomatic specication of a key fragment of DOM using structural separation logic. This specication allows us to develop modular reasoning about client programs that call the DOM.}
+  Abstract  = {We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specication allows us to develop modular reasoning about client programs that call the DOM.}
 }