DMCA

Classification and utilization of abstractions for optimization (2004)

by Dan Quinlan , Markus Schordan , Qing Yi , Andreas Saebjornsen
Venue:In Proc. 1st International Symposium on Leveraging Applications of Formal Methods, Paphos
Citations:7 - 2 self