BibTeX record conf/iccsa/NagoyaL17

• > Home > conf/iccsa/NagoyaL17

@inproceedings{DBLP:conf/iccsa/NagoyaL17,
  author       = {Fumiko Nagoya and
                  Shaoying Liu},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Giuseppe Borruso and
                  Carmelo Maria Torre and
                  Ana Maria A. C. Rocha and
                  David Taniar and
                  Bernady O. Apduhan and
                  Elena N. Stankova and
                  Alfredo Cuzzocrea},
  title        = {A Comparative Study of a GUI-Aided Formal Specification Construction
                  Approach},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2017 - 17th International
                  Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10404},
  pages        = {273--283},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62392-4\_20},
  doi          = {10.1007/978-3-319-62392-4\_20},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/NagoyaL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}