source: src/ASM/CPP2011/cpp-2011.tex @ 919

\documentclass{llncs}

\usepackage[english]{babel}
\usepackage[colorlinks]{hyperref}

\title{Proving the correctness of an assembler for the MCS-51}
\author{}
\institute{Universit\'a di Bologna}

\begin{document}

\maketitle

\begin{abstract}
\end{abstract}

% ---------------------------------------------------------------------------- %
% SECTION                                                                      %
% ---------------------------------------------------------------------------- %
\section{Introduction}
\label{sect.introduction}

\end{document}