Basic time stretching works the same in every audio editor and DAW, so any real difference is going to be related to flexibility in terms of manipulation and the information you can save with the resulting file.
I tend to edit audio by entering numbers as opposed to using the mouse so I am not overly familiar with the all the features of different DAWs that you would probably interested in, I will offer up this advice though......if there is a good chance you will be stretching go with the highest resolution possible.