Keyword:Slicing

Publications
Improvement of Adaptive Slicing in Additive Manufacturing Yaroslav Garashchenko and Nina Zubkova EasyChair Preprint 1644
Parametric Exploration of Rewriting Logic Computations María Alpuente, Demis Ballis, Francisco Frechina and Julia Sapiña In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing Daniel Wasserrab and Denis Lohner In:VERIFY-2010. 6th International Verification Workshop