Я думаю, что это отвечает на ваш вопрос: Ссылка
Цитаты из источника:
Примечание: если вы используете VMware Workstation, вы также можете экспортировать виртуальную машину как файл .ovf, перейдя в «Файл» и выбрав опцию «Экспорт в OVF».
Снимок экрана из источника (окно импорта в Virtualbox):
Таким образом, вы просто нажимаете кнопку экспорта в WMWare, а затем импортируете ее в Virtualbox. Формат файла, который вы будете использовать, - .OVF.