From aeda280435a7ab4e732e1e6f71aa2e3824e90b22 Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pmd09@doc.ic.ac.uk>
Date: Mon, 23 Jan 2017 09:36:18 +0000
Subject: [PATCH] Correction.
---
publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications.bib b/publications.bib
index bc64dbd..731009e 100644
--- a/publications.bib
+++ b/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.}
}
--
GitLab