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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Dec 29 10:22:02 2013 +0100

Fixed CostantiniFM13.

---

doc/ppl_citations.bib | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index f5b7ac2..da581a2 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -1469,11 +1469,11 @@ Summarizing: }

@Inproceedings{CostantiniFM13, - author = "G. Costantini and P. Ferrara and G. Maggiore", - title = "The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software", + Author = "G. Costantini and P. Ferrara and G. Maggiore", + Title = "The Domain of Parametric Hypercubes + for Static Analysis of Computer Games Software", Booktitle = "Formal Methods and Software Engineering: - Proceedings of 15th International Conference on Formal - Engineering Methods, {ICFEM} 2013", + Proceedings of 15th International Conference (ICFEM 2013)", Address = "Queenstown, New Zealand", Series = "Lecture Notes in Computer Science", Editor = "L. Groves and J. Sun",