Changes in / [6e4411f:01300c4]

File:

• doc/bibliography/pl.bib (modified) (1 diff)

doc/bibliography/pl.bib

@@ -1132 +1132 @@
     year        = 1998,
     note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
+}
+
+@Inproceedings{Tarditi18,
+    keywords = {Checked C},
+    contributer = {a3moss@uwaterloo.ca},
+    author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
+    title = {Checked C: Making C Safe by Extension},
+    year = {2018},
+    month = {September},
+    publisher = {IEEE},
+    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
+    pages = {53-60},
 }