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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Dec 28 09:51:31 2013 +0100

Added missing quote.

---

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 576c8a2..0d36b29 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -1804,8 +1804,9 @@ Summarizing: }

@Inproceedings{FouiheMP13, - Author = "A. Fouilhe and D. Monniaux and M. P{'e}rin, - Title = "Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra", + Author = "A. Fouilhe and D. Monniaux and M. P{'e}rin", + Title = "Efficient Generation of Correctness Certificates + for the Abstract Domain of Polyhedra", Booktitle = "Static Analysis: Proceedings of the 20th International Symposium", Address = "Seattle, USA",