source: Deliverables/D2.1/report.aux @ 1982

Last change on this file since 1982 was 1982, checked in by amadio, 7 years ago

add 2.1 Survey

File size: 1.0 KB
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.