GitHub repository: overturetool/vdm2c
Primary language: C
Created: 2016-01-09T22:44:26Z
Description: Working repository for the development of a VDM to C code generator