@inproceedings{YuFroleyksBiereHeljanko-FMCAD22,
  author    = {Emily Yu and Nils Froleyks and Armin Biere and Keijo Heljanko},
  editor    = {Alberto Griggio and Neha Rungta},
  title     = {Stratified Certification for k-Induction},
  booktitle = {Proceedings 22nd International Conference on Formal Methods in Computer-Aided Design (FMCAD'22)},
  pages     = {59--64},
  publisher = {{TU Vienna Academic Press}},
  volume    = {3},
  year      = {2022},
  doi       = {10.34727/2022/isbn.978-3-85448-053-2_11},
  url       = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_15},
}