Module: ppl/ppl Branch: master Commit: 1a892e8f245a03c131bcda659b67528b3dd74817 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a892e8f245a0...
Author: Roberto Bagnara roberto.bagnara@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",