Thesis.tex

\documentclass[11pt,a4paper,twoside]{book}


%- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
%            Preamble
%- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

\usepackage{TeXiS/TeXiS}

\include{definitions}

%
% Metadata
%
\hypersetup{%
  pdftitle = {\titulo},
  pdfsubject = {Formal Methods Master's Tesis},
  pdfkeywords = {Program verification, Elixir, Metaprogramming, SMT, Intermediate representation, Formal methods},
  pdfauthor = {\textcopyright\ \autor},
  pdfcreator = {\LaTeX\ with the \flqq hyperref\frqq package},
  pdfproducer = {pdfeTeX-0.\the\pdftexversion\pdftexrevision},
}
\pdfinfo{/CreationDate (\today)}


%- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
%                        Document
%- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
\begin{document}

\input{TeXiS/TeXiS_hyphenation_es}
\frontmatter
\pagestyle{empty}

\include{Envelope/cover}
%\include{Envelope/authorization}
% \include{Envelope/dedication}
% \include{Envelope/acknowledgements}
\include{Envelope/abstract_es}
\begin{otherlanguage}{english}
\include{Envelope/abstract_en}

\ifx\generatoc\undefined
\else
\include{TeXiS/TeXiS_toc}
\fi

\mainmatter

\pagestyle{fancy}
\restauraCabecera

%
% Chapters
%
\include{Chapters/Introduction}
\include{Chapters/StateOfTheArt}
\include{Chapters/Preliminaries}
\include{Chapters/SMTSolverIntegration}
\include{Chapters/IntermediateRepresentation}
\include{Chapters/ElixirCodeVerification}
\include{Chapters/ConclusionsFutureWork}

%
% Bibliography
%
\include{Envelope/bibliography}

%
% Appendixes
%
\appendix
\include{Appendixes/appendixA}
\backmatter

%
% Acronyms
%
\printglossary[type=\acronymtype]

%
% Ending
%
\include{Envelope/ending}
\end{otherlanguage}
\end{document}