1 results
A specification logic for concurrent object-oriented programming
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 3 / June 1999
- Published online by Cambridge University Press:
- 01 June 1999, pp. 253-286
-
- Article
- Export citation