2 results
Weakest preconditions in fibrations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 4 / April 2022
- Published online by Cambridge University Press:
- 28 October 2022, pp. 472-510
-
- Article
- Export citation
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