Reconstructing Z3 proofs in KeY: There and back again

@inproceedings{PfeiferSchifflUlbrich2021,
    author       = {Wolfram Pfeifer and Jonas Schiffl and Mattias Ulbrich},
    year         = {2021},
    title        = {Reconstructing {Z3} proofs in {KeY}: There and back again},
    pages        = {24--31},
    eventtitle   = {23rd ACM International Workshop on Formal Techniques for Java-Like Programs (FTfJP 2021)},
    eventtitleaddon = {2021},
    eventdate    = {2021-06-13/2021-06-13},
    venue        = {Online},
    booktitle    = {Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like
                    Programs (FTfJP 2021), co-located with ECOOP/ISSTA 2021, Online, 13 July 2021},
    doi          = {10.1145/3464971.3468421},
    publisher    = {Association for Computing Machinery ({ACM})},
    isbn         = {978-1-4503-8543-5},
    series       = {ACM Conferences},
    language     = {english}
}