zhou-2025-cazamariposas:
  type: chapter
  title: 'Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification'
  author:
  - Zhou, Yi
  - Shah, Amar
  - Lin, Zhengyao
  - Heule, Marijn J. H.
  - Parno, Bryan
  date: 2025
  page-range: 75-94
  url: http://dx.doi.org/10.1007/978-3-031-99984-0_5
  serial-number:
    doi: 10.1007/978-3-031-99984-0_5
    isbn: '9783031999840'
    issn: 1611-3349
  parent:
    type: book
    title: Automated Deduction – CADE 30
    publisher: Springer Nature Switzerland