BibTeX record conf/seke/NawazNHF22

• > Home > conf/seke/NawazNHF22

@inproceedings{DBLP:conf/seke/NawazNHF22,
  author       = {M. Saqib Nawaz and
                  Muhammad Zohaib Nawaz and
                  Osman Hasan and
                  Philippe Fournier{-}Viger},
  editor       = {Rong Peng and
                  Carlos Eduardo Pantoja and
                  Pankaj Kamthan},
  title        = {Metaheuristic Algorithms for Proof Searching in {HOL4}},
  booktitle    = {The 34th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
                  1 - July 10, 2022},
  pages        = {376--381},
  publisher    = {{KSI} Research Inc.},
  year         = {2022},
  url          = {https://doi.org/10.18293/SEKE2022-103},
  doi          = {10.18293/SEKE2022-103},
  timestamp    = {Mon, 05 Feb 2024 20:35:18 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/NawazNHF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}