Verifying Optimizers through Comparison Checking (2002)

by Clara Jaramillo , Rajiv Gupta , Mary Lou Soffa , Mary Lou Soa
Citations:3 - 3 self