[PPL-devel] [GIT] ppl/ppl(master): Added Zu14th.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Dec 29 12:15:59 2013 +0100

Added Zu14th.

---

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

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 3bbf21c..9c0fa83 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -2285,6 +2285,18 @@ Summarizing:
               scalability."
 }
 
+ at PhDThesis{Fu13th,
+  Title = "Static Analysis of Numerical Properties in the Presence of Pointers",
+  Author = "Z. Fu",
+  Type = "Th\`{e}se pour le grade de
+          {``Docteur de l'Universit\'e de Rennes 1''}",
+  School = "\'{E}cole doctorale MATISSE, Universit\'{e} de Rennes 1
+            sous le sceau de l'Universit\'e Europ\'eenne de Bretagne",
+  Address = "Rennes, France",
+  Month = dec,
+  Year = 2013,
+}
+
 @Article{GallardoP13,
   Author = "M.-d.-M. Gallardo and L. Panizo",
   Title = "Extending Model Checkers for Hybrid System Verification: