T.: Certificate translation for optimizing compilers (2006)

by G Barthe, B Grégoire, C Kunz, Rezk
Venue:In: Static Analysis, 13th Int. Symp., SAS 2006, Lecture Notes in Computer Science