Changeset 3330 for Papers/fopara2013/fopara13.tex
- Timestamp:
- Jun 6, 2013, 5:36:15 PM (8 years ago)
- File:
-
- 1 edited
-
Papers/fopara2013/fopara13.tex (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
Papers/fopara2013/fopara13.tex
r3329 r3330 204 204 by introducing randomization \cite{proartis}. 205 205 206 In the CerCo project we do not try to address this problem, optimistically206 In the CerCo project \cite{cerco} we do not try to address this problem, optimistically 207 207 assuming that static analysis of non-functional properties of programs will 208 208 return to be feasible in the long term. The main objective of our work is
Note: See TracChangeset
for help on using the changeset viewer.
