TY  - GEN

T1  - Proceedings 16th International Refinement Workshop

T2  - arXiv

PY  - 2013/05/24

AU  - Derrick J

AU  - Boiten E

AU  - Reeves S

ED  - 

Y2  - 2024/12/26

ER  -