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

Last change on this file since 918 was 918, checked in by mulligan, 8 years ago

headers added, etc.

File size: 567 bytes
Line 
1\documentclass{llncs}
2
3\usepackage[english]{babel}
4\usepackage[colorlinks]{hyperref}
5
6\title{Proving the correctness of an assembler for the MCS-51}
7\author{}
8\institute{Universit\'a di Bologna}
9
10\begin{document}
11
12\maketitle
13
14\begin{abstract}
15\end{abstract}
16
17% ---------------------------------------------------------------------------- %
18% SECTION                                                                      %
19% ---------------------------------------------------------------------------- %
20\section{Introduction}
21\label{sect.introduction}
22
23\end{document}
Note: See TracBrowser for help on using the repository browser.