Changeset 992 for src/ASM/CPP2011


Ignore:
Timestamp:
Jun 17, 2011, 6:05:05 PM (9 years ago)
Author:
mulligan
Message:

a few more axioms closed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2011/cpp-2011.tex

    r986 r992  
    3636
    3737\title{On the correctness of an assembler for the Intel MCS-51 microprocessor}
    38 \author{Jaap Boender \and Dominic P. Mulligan \and Claudio Sacerdoti Coen}
     38\author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
    3939\institute{Dipartimento di Scienze dell'Informazione, Universit\'a di Bologna}
    4040
Note: See TracChangeset for help on using the changeset viewer.