BibTeX record conf/csae/0007LQYZ20

• > Home > conf/csae/0007LQYZ20

@inproceedings{DBLP:conf/csae/0007LQYZ20,
  author       = {Zheng Yang and
                  Hang Lei and
                  Weizhong Qian and
                  Zehui Yan and
                  Weiru Zeng},
  editor       = {Ali Emrouznejad and
                  Jui{-}Sheng Rayson Chou},
  title        = {A Resolution for Scalability Problem of Record Datatype Based Formal
                  Memory Models in Coq},
  booktitle    = {{CSAE} 2020: The 4th International Conference on Computer Science
                  and Application Engineering, Sanya, China, October 20-22, 2020},
  pages        = {54:1--54:8},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3424978.3425032},
  doi          = {10.1145/3424978.3425032},
  timestamp    = {Tue, 27 Oct 2020 18:19:55 +0100},
  biburl       = {https://dblp.org/rec/conf/csae/0007LQYZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}