Changeset 3304


Ignore:
Timestamp:
May 23, 2013, 11:02:43 AM (4 years ago)
Author:
boender
Message:
  • added 2012 reviews
  • updated affiliation
Location:
src/ASM/CPP2012-policy
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/main.tex

    r2099 r3304  
    1616\mainmatter
    1717\title{On the correctness of a branch displacement algorithm\thanks{Research supported by the CerCo project, within the Future and Emerging Technologies (FET) programme of the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number 243881}}
    18 \author{Jaap Boender \and Claudio Sacerdoti Coen}
    19 \institute{Dipartimento di Scienze dell'Informazione,\\ Universit\`a degli Studi di Bologna}
     18\author{Jaap Boender\inst{1} \and Claudio Sacerdoti Coen\inst{2}}
     19\institute{Foundations of Computing Group\\Department of Computer Science\\School of Science and Technology\\Middlesex University, London, UK\\
     20\email{J.Boender@mdx.ac.uk}
     21\and
     22Dipartimento di Scienze dell'Informazione,\\
     23Universit\`a degli Studi di Bologna, Italy\\
     24\email{sacerdot@cs.unibo.it}}
    2025
    2126\maketitle
Note: See TracChangeset for help on using the changeset viewer.