1 results
Indexed and fibered structures for partial and total correctness assertions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 9 / October 2022
- Published online by Cambridge University Press:
- 19 September 2022, pp. 1145-1175
-
- Article
-
- You have access
- Open access
- HTML
- Export citation