Ignore:
Timestamp:
Feb 11, 2014, 6:41:19 PM (6 years ago)
Author:
campbell
Message:

Make example clearer for readers in black and white.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/appendix.tex

    r3426 r3427  
    99Section 2 has been restructured to give a clearer comparison of
    1010existing approaches with CerCo.
     11
     12Section 4 has been reorganised to highlight the connections between
     13the different parts of the work.
     14
     15The citation of a survey of state-of-the-art WCET tools has been made
     16more explicit as a source of information about tools such as AbsInt.
Note: See TracChangeset for help on using the changeset viewer.