diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-29 10:18:35 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-29 10:18:35 +0100 |
| commit | 1a892e8f245a03c131bcda659b67528b3dd74817 (patch) | |
| tree | 1c3eee2ac39855a61f5ad202d5f2ac89000438b3 | |
| parent | fdcab35567fd8b9031b4dff2e968476485f74ebd (diff) | |
| download | ppl-1a892e8f245a03c131bcda659b67528b3dd74817.tar.gz ppl-1a892e8f245a03c131bcda659b67528b3dd74817.tar.bz2 ppl-1a892e8f245a03c131bcda659b67528b3dd74817.zip | |
Fixed BrauerKK13.
| -rw-r--r-- | 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 1c0c7fa23..f5b7ac255 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", |