Justification Based on Program Transformation.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Browse the full LOPSTR paper archive.