- Timestamp:
- Jun 15, 2012, 3:25:55 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2012-policy/main.tex
r2084 r2097 17 17 \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 18 \author{Jaap Boender \and Claudio Sacerdoti Coen} 19 \institute{Dipartimento di Scienze dell'Informazione, Universitàdegli Studi di Bologna}19 \institute{Dipartimento di Scienze dell'Informazione,\\ Universit\`a degli Studi di Bologna} 20 20 21 21 \maketitle
Note: See TracChangeset
for help on using the changeset viewer.