TY  - JOUR

T1  - Kleene Algebra with Tests and Demonic Refinement Algebras.

JO  - Arch. Formal Proofs

PY  - 2014/01/01

AU  - Armstrong A

AU  - Gomes VBF

AU  - Struth G

ED  - 

VL  - 2014

Y2  - 2024/12/25

ER  -