Changeset 656


Ignore:
Timestamp:
Mar 9, 2011, 3:48:00 PM (9 years ago)
Author:
amadio
Message:

rob updated

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP2-roberto.tex

    r633 r656  
    664664\item If you want to push this further, try to lift the assertions about the $\C$ code to assertions on your source program.
    665665\end{enumerate}}
     666\Red{\NB} Might be another case study for WP5.
    666667\end{frame}
    667668
Note: See TracChangeset for help on using the changeset viewer.