Skip to content

Commit

Permalink
Copy bib entries from local
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Oct 29, 2023
1 parent 3041d5e commit dc14b14
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion generals.bib
Original file line number Diff line number Diff line change
Expand Up @@ -247,6 +247,7 @@ @InProceedings{PLDI90*272
}



@InProceedings{HackettDWY2006,
author = "Hackett, Brian and Das, Manuvir and Wang, Daniel and Yang, Zhe",
title = "Modular checking for buffer overflows in the large",
Expand Down Expand Up @@ -962,7 +963,7 @@ @InProceedings{ArthoB
title = "Combined static and dynamic analysis",
booktitle = "1st International Workshop on
Abstract Interpretation of Object-Oriented Languages",
NEEDpages = "",
NEEDpages = "*",
year = 2005,
address = "Paris, France",
month = jan # "~21,",
Expand Down

0 comments on commit dc14b14

Please # to comment.