Cited By
View all- Falaschi MOlarte C(2019)An Assertion Language for Slicing Constraint Logic LanguagesLogic-Based Program Synthesis and Transformation10.1007/978-3-030-13838-7_9(148-165)Online publication date: 23-Feb-2019
- Falaschi MGabbrielli MOlarte CPalamidessi C(2017)Slicing Concurrent Constraint ProgramsLogic-Based Program Synthesis and Transformation10.1007/978-3-319-63139-4_5(76-93)Online publication date: 25-Jul-2017
- FALASCHI MOLARTE CPALAMIDESSI C(2014)Abstract interpretation of temporal concurrent constraint programsTheory and Practice of Logic Programming10.1017/S147106841300064115:03(312-357)Online publication date: 10-Feb-2014
- Show More Cited By