Verwaltung von variablen Datenmengen VDM Tutor Unions

Rekursive Typdefinition

 





VDM Class Library