Changeset 3330


Ignore:
Timestamp:
Jun 6, 2013, 5:36:15 PM (4 years ago)
Author:
piccolo
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3329 r3330  
    204204by introducing randomization \cite{proartis}.
    205205
    206 In the CerCo project we do not try to address this problem, optimistically
     206In the CerCo project \cite{cerco} we do not try to address this problem, optimistically
    207207assuming that static analysis of non-functional properties of programs will
    208208return to be feasible in the long term. The main objective of our work is
Note: See TracChangeset for help on using the changeset viewer.