@inbook{cho-2024-a, title={A Framework for Debugging Automated Program Verification Proofs via Proof Actions}, ISBN={9783031656279}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-65627-9_17}, DOI={10.1007/978-3-031-65627-9_17}, booktitle={Computer Aided Verification}, publisher={Springer Nature Switzerland}, author={Cho, Chanhee and Zhou, Yi and Bosamiya, Jay and Parno, Bryan}, year={2024}, pages={348–361} }