A Formal Framework for Incremental Model Slicing.

Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter

Browse the full FASE paper archive.