1 results
Compositional Specification in Rewriting Logic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 1 / January 2020
- Published online by Cambridge University Press:
- 09 October 2019, pp. 44-98
-
- Article
- Export citation