TY  - JOUR

T1  - Building program construction and verification tools from algebraic principles

JO  - Formal Aspects of Computing

PY  - 2016/04/01

AU  - Armstrong A

AU  - Gomes VBF

AU  - Struth G

ED  - 

DO  - DOI: 10.1007/s00165-015-0343-1

PB  - Springer Science and Business Media LLC

VL  - 28

IS  - 2

SP  - 265

EP  - 293

Y2  - 2024/12/25

ER  -