Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
SOC: a slicer for CSP specifications
PEPM, 2009.
@inproceedings{PEPM-2009-LeuschelLOST,
author = "Michael Leuschel and Marisa Llorens and Javier Oliver and Josep Silva and Salvador Tamarit",
booktitle = "{Proceedings of the 14th Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
doi = "10.1145/1480945.1480969",
isbn = "978-1-60558-327-3",
pages = "165--168",
publisher = "{ACM}",
title = "{SOC: a slicer for CSP specifications}",
year = 2009,
}