Fix one entry.

diff --git a/9.0/paper.bib b/9.0/paper.bib
index 40b1fc5da42ae76e70d84344cdf9f76d3f4ba40b..59e0b59fa880cc491f122b874838e5c7ca7b382f 100644 (file)
--- a/9.0/paper.bib
+++ b/9.0/paper.bib
@@ -618,8 +618,8 @@ year = {2009}
 }
 
 @Misc{coverity,
-  Title                    = {Coverity Scan},
-  Author                   = {Synopsys, Inc.},
+  Title                    = {{C}overity {S}can ({Synopsys, Inc.})},
+  Key = {Coverity},
   HowPublished             = {\url{https://scan.coverity.com}},
 }