1 results
Assertion-based analysis via slicing with ABETS* (system description)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 515-532
-
- Article
- Export citation