source: src/ASM/CPP2012-policy/main.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3338   7 years boender - updated statement of main correctness statement (still needs work)
(edit) @3304   7 years boender - added 2012 reviews - updated affiliation
(edit) @2099   8 years boender - added reference to Intel dev manual
(edit) @2097   8 years mulligan Consistency change (institution)
(edit) @2084   8 years boender - changed bibliography style - added CerCo? thanks - some words of …
(edit) @2064   8 years boender - more progress
(edit) @2054   8 years boender - progress
(copy) @2045   8 years boender - renamed paper directory
copied from src/ASM/SEFM2012/main.tex:
(add) @1889   8 years boender - some pages of article
Note: See TracRevisionLog for help on using the revision log.