Changeset 3427 for Papers/fopara2013/appendix.tex
- Timestamp:
- Feb 11, 2014, 6:41:19 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/fopara2013/appendix.tex
r3426 r3427 9 9 Section 2 has been restructured to give a clearer comparison of 10 10 existing approaches with CerCo. 11 12 Section 4 has been reorganised to highlight the connections between 13 the different parts of the work. 14 15 The citation of a survey of state-of-the-art WCET tools has been made 16 more explicit as a source of information about tools such as AbsInt.
Note: See TracChangeset
for help on using the changeset viewer.