Post Doc Researcher (email)
VooDooM transforms VDM-SL datatype specifications to obtain an equivalent relational representation. This relational representation can be exported as VDM-SL datatypes or translated to SQL table definitions.