Module: ppl/ppl Branch: master Commit: a2462d7deec1083c3cd018b5824eb9c86738b981 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2462d7deec10...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Dec 28 09:53:29 2013 +0100
Duplicate key avoided.
---
doc/ppl_citations.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 2d44d17..b82f57b 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -2127,7 +2127,7 @@ Summarizing: checkers." }
-@Inproceedings{MihailaSS13, +@Inproceedings{MihailaSS13a, Author = "P.-L. Garoche and T. Kahsai and C. Tinelli", Title = "Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers", Booktitle = "NASA Formal Methods: @@ -3474,7 +3474,7 @@ Summarizing:
}
-@Inproceedings{MihailaSS13, +@Inproceedings{MihailaSS13b, Author = "B. Mihaila and A. Sepp and A. Simon", Title = "Widening as Abstract Domain", Booktitle = "NASA Formal Methods: