TY  - CHAP

T1  - Cylindric Kleene Lattices for Program Construction

T2  - Lecture Notes in Computer Science

PY  - 2019/01/01

AU  - Dongol B

AU  - Hayes I

AU  - Meinicke L

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/978-3-030-33636-3_8

PB  - Springer International Publishing

SN  - 9783030336356

SP  - 197

EP  - 225

Y2  - 2024/12/22

ER  -