![](/img/cover-not-exists.png)
Hoare Semigroups
STRUTH, GEORGVolume:
28
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S096012951700007X
Date:
June, 2018
File:
PDF, 216 KB
english, 2018