@misc{indiciae6590370a05d2,
  title = {Integrating DFT and DRBD Formalizations in HOL4},
  author = {Yassmeen Elderhalli and Osman Hasan and Sofiene Tahar},
  year = {2019},
  url = {https://arxiv.org/abs/1910.08875},
  note = {Source identifier: 1910.08875}
}