Ronan Saillard

	2010
1		Roberto M. Amadio, Nicholas Ayache, Yann Régis-Gianas, Ronan Saillard: Certifying cost annotations in compilers CoRR abs/1010.1697: (2010)

Coauthor Index

1	Roberto M. Amadio	[1]
2	Nicholas Ayache	[1]
3	Yann Régis-Gianas	[1]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page