[PPL-devel] [GIT] ppl/ppl(master): Fixed BrauerKK13.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 1a892e8f245a03c131bcda659b67528b3dd74817
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a892e8f245a03c131bcda659b67528b3dd74817

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Dec 29 10:18:35 2013 +0100

Fixed BrauerKK13.

---

 doc/ppl_citations.bib |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 1c0c7fa..f5b7ac2 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -1128,12 +1128,13 @@ Summarizing:
 
 @Article{BrauerKK13,
   Author = "J. Brauer and A King. and S. Kowalewski",
-  Title = "Abstract interpretation of microcontroller code: Intervals meet congruences",
+  Title = "Abstract Interpretation of Microcontroller Code:
+           Intervals Meet Congruences",
   Journal = "Science of Computer Programming",
   Volume = 78,
-  Number = "7",
+  Number = 7,
   Pages = "862--883",
-  Year = 2006,
+  Year = 2013,
   Publisher = "Elsevier North-Holland, Inc.",
   Address = "Amsterdam, The Netherlands",
   ISSN = "0167-6423",