diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 09:53:29 +0100 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-12-28 09:53:29 +0100 |
| commit | a2462d7deec1083c3cd018b5824eb9c86738b981 (patch) | |
| tree | 92846853d824894353bb195e757f3cd6d9dae617 | |
| parent | e296eb896b6de97708300660cb3ebf0d93c2419f (diff) | |
| download | ppl-a2462d7deec1083c3cd018b5824eb9c86738b981.tar.gz ppl-a2462d7deec1083c3cd018b5824eb9c86738b981.tar.bz2 ppl-a2462d7deec1083c3cd018b5824eb9c86738b981.zip | |
Duplicate key avoided.
| -rw-r--r-- | 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 2d44d1723..b82f57bee 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: |