TY  - CONF

T1  - Modal Tools for Separation and Refinement.

JO  - Refine@FM

PY  - 2008/06/28

AU  - Struth G

ED  - 

SP  - 81

EP  - 101

Y2  - 2025/12/03

ER  -