1 results
Retrenchment and refinement interworking: the tower theorems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 02 December 2014, pp. 135-202
-
- Article
- Export citation