The main difference between the VDM-SL and VDM++ notations are the way in which structuring is dealt with.
Основна відмінність між VDM-SL та VDM++ полягає в тому, як вони справляються з структуризацією.