BibTeX record conf/icfem/ZhanJZXHS19

download as .bib file

@inproceedings{DBLP:conf/icfem/ZhanJZXHS19,
  author    = {Bohua Zhan and
               Zhenyan Ji and
               Wenfan Zhou and
               Chaozhu Xiang and
               Jie Hou and
               Wenhui Sun},
  editor    = {Yamine A{\"{\i}}t Ameur and
               Shengchao Qin},
  title     = {Design of Point-and-Click User Interfaces for Proof Assistants},
  booktitle = {Formal Methods and Software Engineering - 21st International Conference
               on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
               5-9, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11852},
  pages     = {86--103},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-32409-4\_6},
  doi       = {10.1007/978-3-030-32409-4\_6},
  timestamp = {Mon, 28 Oct 2019 17:05:13 +0100},
  biburl    = {https://dblp.org/rec/conf/icfem/ZhanJZXHS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics