"Proposal of an Approach to Generate VDM++ Specifications from Natural ..."

Yasuhiro Shigyo, Tetsuro Katayama (2020)

Details and statistics

DOI: 10.1109/GCCE50665.2020.9292047

access: closed

type: Conference or Workshop Paper

metadata version: 2021-01-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics