Ignore:
Timestamp:
Mar 13, 2012, 11:56:46 AM (13 years ago)
Author:
cecile
Message:

typos

File:
1 edited

Legend:

Unmodified
Added
Removed

  • papers/FDL2012/FDL2012.tex

    r56 r61  
    2929\newcommand{\remark}[2]{\textcolor{blue}{#1: #2}}
    3030
     31\graphicspath{{schema/}}
    3132
    3233 \title{ Compositional System Verification: Exploiting components' verified properties in the abstraction-refinement process}
Note: See TracChangeset for help on using the changeset viewer.