The replacement operation for CCP programs (0)

by M Bertolino, S Etalle, C Palamidessi
Venue:Proceedings of LOPSTR, volume 1817 of Lecture