HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.