From dc59f8b935684476444528da592981b178bd14a2 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 10 Nov 2016 11:00:34 +0000
Subject: [PATCH] Update publications.bib
---
publications/publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications/publications.bib b/publications/publications.bib
index 1199cb1..11fccea 100644
--- a/publications/publications.bib
+++ b/publications/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.}
}
--
GitLab