diff options
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/references.bib b/references.bib index 8a101e6..982434f 100644 --- a/references.bib +++ b/references.bib @@ -815,23 +815,6 @@ year = {2020}, year = 2020, } -@article{zhao12_formal_llvm_inter_repres_verif_progr_trans, - author = {Du, Zewei and Herklotz, Yann and Ramanathan, Nadesh and Wickerson, John}, - title = {Fuzzing High-Level Synthesis Tools}, - journal = {}, - volume = {}, - number = {}, - pages = {}, - year = {}, - doi = {}, - url = {}, - address = {}, - issn = {}, - issue_date = {}, - numpages = {}, - publisher = {Association for Computing Machinery}, -} - @unpublished{du_fuzzin_high_level_synth_tools, author = {Du, Zewei and Herklotz, Yann and Ramanathan, Nadesh and Wickerson, John}, note = {unpublished}, |