TY  - JOUR

T1  - Hoare Semigroups

JO  - Mathematical Structures in Computer Science

UR  - http://eprints.whiterose.ac.uk/116277/

PY  - 2017/04/04

AU  - Struth G

ED  - 

DO  - DOI: 10.1017/S096012951700007X

Y2  - 2024/12/25

ER  -