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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Jan 5 12:58:34 2014 +0100

Fixed HenryMM12b.

---

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

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 995ce7a..f8faf73 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3100,9 +3100,10 @@ Summarizing:

@Article{HenryMM12b, Author = "J. Henry and D. Monniaux and M. Moy", - Title = "{PAGAI}: a path sensitive static analyzer", + Title = "{PAGAI}: A Path Sensitive Static Analyzer", Journal = "Electronic Notes in Theoretical Computer Science", - Publisher = "Elsevier Science Publishers B.V. Amsterdam, The Netherlands", + Publisher = "Elsevier Science Publishers B.V.", + Address = "Amsterdam, The Netherlands", Volume = 289, Year = 2012, ISSN = "1571-0661",