Ignore:
Timestamp:
Sep 28, 2012, 4:19:25 PM (7 years ago)
Author:
mulligan
Message:

Added reference to Jaap's ArXiv? paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/cpp-asm-2012/cpp-2012-asm.bib

    r2362 r2370  
    9595
    9696@inproceedings
    97 { boender:correctness:2012,
    98   author = {Jaap Boender and Claudio {Sacerdoti Coen}},
    99   title = {On the correctness of a branch displacement algorithm},
    100   booktitle = {{CPP}},
    101   year =  {2012},
    102   note = {Submitted}
    103 }
    104 
    105 @inproceedings
    10697{ fox:trustworthy:2010,
    10798  author = {Anthony Fox and Magnus O. Myreen},
     
    175166
    176167@misc
     168{ boender:correctness:2012,
     169  author = {Jaap Boender and Claudio {Sacerdoti Coen}},
     170  title = {On the correctness of a branch displacement algorithm},
     171  howpublished = {\url{http://arxiv.org/abs/1209.5920}},
     172  year = {2012}
     173}
     174
     175@misc
    177176{ cerco:2011,
    178177  title = {The {CerCo} {FET-Open} project},
Note: See TracChangeset for help on using the changeset viewer.