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 references recorded for this publication.
No citations of this publication recorded.