Changeset 1776 for Deliverables


Ignore:
Timestamp:
Feb 27, 2012, 4:53:39 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1775 r1776  
    11351135this manuscript.
    11361136
     1137\begin{thebibliography}{2}
     1138\bibitem{compcert} X. Leroy, ``A Formally Verified Compiler back-end'',
     1139Journal of Automated Reasoning 43(4)):363-446, 2009.
     1140
     1141\bibitem{letter}The CerCo team, ``Commitment to the Consideration of Reviewer's Reccomendation'', 16/05/2011.
     1142\end{thebibliography}
     1143
     1144
    11371145\end{document}
Note: See TracChangeset for help on using the changeset viewer.