TY  - JOUR

T1  - Proceedings 17th International Workshop on Refinement

JO  - Electronic Proceedings in Theoretical Computer Science

PY  - 2016/06/04

AU  - Boiten EA

AU  - Derrick J

AU  - Reeves S

ED  - 

DO  - DOI: 10.4204/eptcs.209.0

PB  - Open Publishing Association

VL  - 209

Y2  - 2024/12/22

ER  -