DMCA

A Logic Foundation for Program Transformations

by Günter Kniesel
Citations:2 - 0 self