%0 Conference Paper %1 conf/sefm/BanachD06 %A Banach, Richard %A Derrick, John %B SEFM %D 2006 %I IEEE Computer Society %K dblp %P 60-69 %T Filtering Retrenchments into Refinements. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2006.html#BanachD06 %@ 0-7695-2678-0

@inproceedings{conf/sefm/BanachD06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Banach, Richard and Derrick, John}, biburl = {https://www.bibsonomy.org/bibtex/2e2bd3812461b7616c4ce9f90946654f6/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2006.17}, interhash = {a5f0ce5889b50e2d16dc2e1ddd990cb1}, intrahash = {e2bd3812461b7616c4ce9f90946654f6}, isbn = {0-7695-2678-0}, keywords = {dblp}, pages = {60-69}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:15.000+0200}, title = {Filtering Retrenchments into Refinements.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2006.html#BanachD06}, year = 2006 }