Виртуальная лаборатория для обучения рефакторингу автоматных программ