TY  - CHAP

T1  - A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic

T2  - Unifying Theories of Programming

PY  - 2019/01/01

AU  - Hoare T

AU  - Struth G

AU  - Woodcock J

ED  - 

DO  - DOI: 10.1007/978-3-030-31038-7_1

PB  - Springer International Publishing

SN  - 9783030310370

SP  - 3

EP  - 21

Y2  - 2024/12/25

ER  -