@inproceedings{FroleyksYuBiere-FMCAD22,
  author    = {Nils Froleyks and Emily Yu and Armin Biere},
  editor    = {Nadel, Alexander and Rozier, Kristin Yvonne},
  title     = {Towards Compositional Hardware Model Checking Certification},
  booktitle = {Proceedings 23rd International Conference on Formal Methods in Computer-Aided Design (FMCAD'23)},
  pages     = {162--167},
  publisher = {{TU Wien Academic Press}},
  year      = {2023},
  doi       = {10.34727/2023/isbn.978-3-85448-060-0_24},
}