PanLinx: VDM Specification File

English	eng-000
VDM Specification File

filename extensions	art-335	vdm
TechTarget file types	art-336	VDM-VDM-Specification-File

PanLex-PanLinx