1 results
Correctness of high-level transformation systems relative to nested conditions†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 2 / April 2009
- Published online by Cambridge University Press:
- 01 April 2009, pp. 245-296
-
- Article
- Export citation