Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning

Yasuhiro Shigyo, Tetsuro Katayama. Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning. In 9th IEEE Global Conference on Consumer Electronics, GCCE 2020, Kobe, Japan, October 13-16, 2020. pages 292-296, IEEE, 2020. [doi]

No reviews for this publication, yet.