From 02b139b79be2130ce0c8a28d3abfeab171b2faff Mon Sep 17 00:00:00 2001
From: Shale XIONG <shalexiong@dyn1175-30.wlan.ic.ac.uk>
Date: Thu, 10 Nov 2016 11:20:18 +0000
Subject: [PATCH] fix bib.
---
publications/publications.bib | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/publications/publications.bib b/publications/publications.bib
index 9d5690f..ebd1704 100644
--- a/publications/publications.bib
+++ b/publications/publications.bib
@@ -524,7 +524,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
@inproceedings{Raad2016DOM,
Title = {{DOM:} Specification and Client Reasoning},
- Author = {Azalea Raad and Jos{\'{e}} Fragoso Santos and Philippa Gardner},
+ Author = {Azalea Raad and Jos{\'{e}} {Fragoso Santos} and Philippa Gardner},
Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
Year = {2016},
Pages = {401--422},
@@ -532,6 +532,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 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.}
+ 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