@InProceedings{ Blech.Poetzsch-Heffter07certifying, 
   title = { A Certifying Code Generation Phase }, 
   author = { Jan Olaf Blech and Arnd Poetzsch-Heffter },   
   booktitle = { Proceedings of the 6th Workshop on Compiler Optimization meets Compiler Verification (COCV 2007), Braga, Portugal },  
   series = { ENTCS },           
   month = mar, 
   year = 2007, 
}