TY  - GEN

T1  - Proceedings 15th International Refinement Workshop

T2  - arXiv

PY  - 2011/06/17

AU  - Derrick J

AU  - Boiten E

AU  - Reeves S

ED  - 

Y2  - 2024/12/22

ER  -