1 results
Transformation-Enabled Precondition Inference
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 700-716
-
- Article
- Export citation