Ignore:
Timestamp:
Jun 15, 2012, 1:35:46 PM (8 years ago)
Author:
boender
Message:
  • systematically changed 'jump' to 'branch'
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/conclusion.tex

    r2085 r2091  
    1515the complete formalisation and verification of a compiler. More information
    1616on the formalisation of the assembler, of which the present work is a part,
    17 can be found in a companion publication.
     17can be found in a companion publication~\cite{DC2012}.
    1818
    1919\subsection{Related work}
Note: See TracChangeset for help on using the changeset viewer.