Ignore:
Timestamp:
Mar 7, 2017, 11:04:27 AM (3 years ago)
Author:
mulligan
Message:

Small tweaks before work on another paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/cerco.bib

    r3623 r3632  
    44 institution = {Technische Universit\"at Wien},
    55 year = {2005}
     6}
     7
     8@inproceedings{DBLP:conf/pldi/Carbonneaux0RS14,
     9  author    = {Quentin Carbonneaux and
     10               Jan Hoffmann and
     11               Tahina Ramananandro and
     12               Zhong Shao},
     13  title     = {End-to-end verification of stack-space bounds for {C} programs},
     14  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
     15               {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
     16  pages     = {270--281},
     17  year      = {2014},
     18  crossref  = {DBLP:conf/pldi/2014},
     19  url       = {http://doi.acm.org/10.1145/2594291.2594301},
     20  doi       = {10.1145/2594291.2594301},
     21  timestamp = {Tue, 20 Dec 2016 10:12:01 +0100},
     22  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/Carbonneaux0RS14},
     23  bibsource = {dblp computer science bibliography, http://dblp.org}
    624}
    725
Note: See TracChangeset for help on using the changeset viewer.