BibTeX record conf/gcce/ShigyoK20

download as .bib file

@inproceedings{DBLP:conf/gcce/ShigyoK20,
  author    = {Yasuhiro Shigyo and
               Tetsuro Katayama},
  title     = {Proposal of an Approach to Generate {VDM++} Specifications from Natural
               Language Specification by Machine Learning},
  booktitle = {{GCCE}},
  pages     = {292--296},
  publisher = {{IEEE}},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics