The Replacement Operation for CCP Programs.

Marco Bertolino, Sandro Etalle, Catuscia Palamidessi

Browse the full LOPSTR paper archive.