Ignore:
Timestamp:
May 28, 2014, 11:01:39 AM (5 years ago)
Author:
mulligan
Message:

added final zip file commited to easychair

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.bib

    r3462 r3469  
    3434title={Certifying and Reasoning on Cost Annotations in {C} Programs},
    3535url={http://dx.doi.org/10.1007/978-3-642-32469-7_3},
    36 author={Ayache, Nicolas and Amadio, RobertoM. and R\'egis-Gianas, Yann},
    37 pages={32--46}
     36author={Ayache, Nicolas and Amadio, Roberto and R\'egis-Gianas, Yann},
     37pages={32--46},
     38publisher={Springer Berlin Heidelberg}
    3839}
    3940
     
    4546doi={10.1007/978-3-642-32495-6_5},
    4647title={Certifying and Reasoning on Cost Annotations of Functional Programs},
    47 author={Amadio, RobertoM. and R\'egis-Gianas, Yann},
     48author={Amadio, Roberto and R\'egis-Gianas, Yann},
    4849pages={72--89},
    49 note={Extended version to appear in Higher Order and Symbolic Computation, 2013}
     50note={Extended version to appear in Higher Order and Symbolic Computation},
     51publisher={Springer Berlin Heidelberg}
    5052}
    5153
Note: See TracChangeset for help on using the changeset viewer.