TY  - JOUR

T1  - Hoare semigroups

JO  - Mathematical Structures in Computer Science

UR  - https://eprints.whiterose.ac.uk/id/eprint/116277

PY  - 2017/04/04

AU  - Struth G

ED  - 

DO  - DOI: 10.1017/S096012951700007X

PB  - Cambridge University Press

VL  - 28

IS  - 6

Y2  - 2025/12/03

ER  -