Yes. From version 5.17, FlashBack Express will export to WMV.
Previously it exported to
AVI and Flash, but users had confusing and unsatisfactory results from AVI due
to the low quality of the default Windows codecs, and we found that an
increasing number of PCs were unable to play back Flash.
WMV format can be played by all Windows PCs and gives good compression and quality.
If you need to convert WMV files to AVI, we'd recommend Freemake Video Converter (www.freemake.com)