BibTeX record conf/acmturc/QuHZ23

download as .bib file

@inproceedings{DBLP:conf/acmturc/QuHZ23,
  author       = {Haipeng Qu and
                  Yaojun Hou and
                  Rongqian Zhou},
  title        = {Course Design and Tool Development for Functional Programming Integrating
                  with Program Verification: from the Perspective of the Interactive
                  Theorem Prover},
  booktitle    = {Proceedings of the {ACM} Turing Award Celebration Conference - China
                  2023, {ACM} {TURC} 2023, Wuhan, China, July 28-30, 2023},
  pages        = {94--95},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3603165.3607415},
  doi          = {10.1145/3603165.3607415},
  timestamp    = {Sat, 14 Oct 2023 20:12:58 +0200},
  biburl       = {https://dblp.org/rec/conf/acmturc/QuHZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.