Changes in / [01300c4:6e4411f]

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},
 }