# Changeset 656 for Deliverables

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

rob updated

File:
1 edited

### Legend:

Unmodified
 r633 \item If you want to push this further, try to lift the assertions about the $\C$ code to assertions on your source program. \end{enumerate}} \Red{\NB} Might be another case study for WP5. \end{frame}