GitHub repository: shinsahara/vdmexample
Primary language: TeX
Created: 2018-05-19T22:41:17Z
Description: VDM (Vienna Development Method) examples with Japanese identifiers. A few examples with English.