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

by Jean-baptiste Tristan , Xavier Leroy
Citations:24 - 4 self