TY  - CONF

T1  - Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.

JO  - Refine@FM

PY  - 2011/01/01

AU  - 

ED  - Derrick J

ED  - Boiten EA

ED  - Reeves S

VL  - 55

Y2  - 2024/12/22

ER  -