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

29 Dec 2013

Module: ppl/ppl
Branch: master
Commit: 077dd1051a9af69a1c9599f8e061de1c40f594fe
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=077dd1051a9af...
Author: Roberto Bagnara roberto.bagnara@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."
 }
+@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:

    

Roberto Bagnara

tags (0)

participants (1)