TY  - JOUR

T1  - Filtering retrenchments into refinements

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

PY  - 2006/01/01

AU  - Banach R

AU  - Derrick J

ED  - 

DO  - DOI: 10.1109/SEFM.2006.17

SP  - 60

EP  - 69

Y2  - 2024/12/22

ER  -