| Line | |
|---|
| 1 | \relax |
|---|
| 2 | \ifx\hyper@anchor\@undefined |
|---|
| 3 | \global \let \oldcontentsline\contentsline |
|---|
| 4 | \gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} |
|---|
| 5 | \global \let \oldnewlabel\newlabel |
|---|
| 6 | \gdef \newlabel#1#2{\newlabelxx{#1}#2} |
|---|
| 7 | \gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} |
|---|
| 8 | \AtEndDocument{\let \contentsline\oldcontentsline |
|---|
| 9 | \let \newlabel\oldnewlabel} |
|---|
| 10 | \else |
|---|
| 11 | \global \let \hyper@last\relax |
|---|
| 12 | \fi |
|---|
| 13 | |
|---|
| 14 | \bibstyle{abbrv} |
|---|
| 15 | \select@language{english} |
|---|
| 16 | \@writefile{toc}{\select@language{english}} |
|---|
| 17 | \@writefile{lof}{\select@language{english}} |
|---|
| 18 | \@writefile{lot}{\select@language{english}} |
|---|
| 19 | \@writefile{toc}{\contentsline {paragraph}{Abstract}{2}{section*.1}} |
|---|
| 20 | \citation{Leroy09} |
|---|
| 21 | \citation{Cerco10} |
|---|
| 22 | \citation{SCADE} |
|---|
| 23 | \citation{Fornari10} |
|---|
| 24 | \citation{AbsInt} |
|---|
| 25 | \citation{AbsintScade} |
|---|
| 26 | \citation{W09} |
|---|
| 27 | \citation{Frama-C} |
|---|
| 28 | \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{4}{section.1}} |
|---|
| 29 | \newlabel{intro-sec}{{1}{4}{Introduction\relax }{section.1}{}} |
|---|
| 30 | \@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Meaning of cost annotations}{4}{subsection.1.1}} |
|---|
Note: See
TracBrowser
for help on using the repository browser.
