Update contacts and news.

2015-01-26 15:38:12 +01:00
parent 3f86aaae9d
commit a461ca85d2
3 changed files with 14 additions and 4 deletions
@@ -2120,7 +2120,7 @@ year = {2014}
@unpublished{GHaccuracy,
  author    = {Marco Gaboardi and
               Justin Hsu},
-  title     = {A Theory {AB} Toolbox},
+  title     = {A theory {AB} toolbox},
  year      = {2015},
  jh        = yes,
  docs      = yes
@@ -2128,7 +2128,7 @@ year = {2014}

@unpublished{HsuTaxes,
  author    = {Justin Hsu},
-  title     = {Death, Taxes, and Formal Verification},
+  title     = {Death, taxes, and formal verification},
  year      = {2015},
  jh        = yes,
  docs      = yes