Classification and utilization of abstractions for optimization (2004)

by D Quinlan, M Schordan, Q Yi, A Saebjornsen
Venue:In Proc. 1st International Symposium on Leveraging Applications of Formal Methods, Paphos