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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Dec 28 08:47:59 2013 +0100

Book title fixed.

---

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

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 7543961..834ea42 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -497,7 +497,8 @@ Summarizing: @Inproceedings{AndreFS12, Author = "{'E}. Andr{'e} and L. Fribourg and R. Soulat", Title = "Enhancing the Inverse Method with State Merging", - Booktitle = "Proceedings of the 4th International Symposium on {NASA} Formal Methods, {NFM} 2012", + Booktitle = "NASA Formal Methods: + Proceedings of the 4th International Symposium (NFM 2012)", Editor = "A. E. Goodloe and S. Person", Address = "Norfolk, USA", Pages = "381--396",