cho-2024-a:
  type: chapter
  title: A Framework for Debugging Automated Program Verification Proofs via Proof Actions
  author:
  - Cho, Chanhee
  - Zhou, Yi
  - Bosamiya, Jay
  - Parno, Bryan
  date: 2024
  page-range: 348-361
  url: http://dx.doi.org/10.1007/978-3-031-65627-9_17
  serial-number:
    doi: 10.1007/978-3-031-65627-9_17
    isbn: '9783031656279'
    issn: 1611-3349
  parent:
    type: book
    title: Computer Aided Verification
    publisher: Springer Nature Switzerland