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 - 2025/03/16
ER -