BibTeX record journals/informaticaSI/BitatM21

download as .bib file

@article{DBLP:journals/informaticaSI/BitatM21,
  author       = {Abir Bitat and
                  Salah Merniz},
  title        = {Formal verification of pipelined cryptographic circuits: {A} functional
                  approach},
  journal      = {Informatica (Slovenia)},
  volume       = {45},
  number       = {4},
  year         = {2021},
  url          = {https://doi.org/10.31449/inf.v45i4.3176},
  doi          = {10.31449/INF.V45I4.3176},
  timestamp    = {Mon, 28 Aug 2023 21:41:58 +0200},
  biburl       = {https://dblp.org/rec/journals/informaticaSI/BitatM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics