agrawal-2023-proofster:
  type: article
  title: 'PRoofster: Automated Formal Verification'
  author:
  - Agrawal, Arpan
  - First, Emily
  - Kaufman, Zhanna
  - Reichel, Tom
  - Zhang, Shizhuo
  - Zhou, Timothy
  - Sanchez-Stern, Alex
  - Ringer, Talia
  - Brun, Yuriy
  date: 2023-05
  page-range: 26-30
  url: http://dx.doi.org/10.1109/icse-companion58688.2023.00018
  serial-number:
    doi: 10.1109/icse-companion58688.2023.00018
  parent:
    type: proceedings
    title: '2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)'
    publisher: IEEE