Formal Verification of Translation Validators -- A Case Study on Instruction Scheduling Optimizations (2008)

by Jean-baptiste Tristan , Xavier Leroy
Citations:35 - 5 self