Changeset 544


Ignore:
Timestamp:
Feb 16, 2011, 5:35:38 PM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r543 r544  
    5656\title{An executable formalisation of the MCS-51 microprocessor in Matita}
    5757\titlerunning{An executable formalisation of the MCS-51}
    58 \institute{Dipartimento di Scienze dell'Informazione, University of Bologna}
     58\institute{Dipartimento di Scienze dell'Informazione, Universit\`a di Bologna}
    5959
    6060\begin{document}
Note: See TracChangeset for help on using the changeset viewer.