Filtering retrenchments into refinements (0)

by R Banach, J Derrick
Venue:in: Proceedings of SEFM’06 (2006