source: Deliverables/D4.1/ITP-Paper/itp-2011.tex @ 492

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

Initial commit of outline of prospective itp-2011 paper.

File size: 554 bytes
Line 
1\documentclass{llncs}
2
3\author{Claudio Sacerdoti Coen\inst{1} \and Dominic P. Mulligan\inst{1}}
4\authorrunning{C. Sacerdoti Coen and D. P. Mulligan}
5\title{An executable model of the 8051/8052 series microprocessor in Matita}
6\titlerunning{An executable model of the 8051/8052}
7\institute{Dipartimento di Scienze dell'Informazione, University of Bologna}
8
9\begin{document}
10
11\maketitle
12
13\begin{abstract}
14We summarise the recent encoding of an executable model of the 8051/8052 microprocessor within Matita's internal logic.
15\end{abstract}
16
17\end{document}
Note: See TracBrowser for help on using the repository browser.