TY  - JOUR

T1  - Filtering retrenchments into refinements

JO  - Proceedings 4th IEEE International Conference on Software Engineering and Formal Methods Sefm 2006

PY  - 2006/12/01

AU  - Banach R

AU  - Derrick J

ED  - 

DO  - DOI: 10.1109/SEFM.2006.17

SP  - 60

EP  - 69

Y2  - 2025/11/27

ER  -