Journal Article
Gradual C0: Symbolic Execution for Gradual Verification
2024
•
ACM Transactions on Programming Languages and Systems
• 46(4):
Divincenzo J, Mccormack I, Zimmerman C, Gouni H, Gorenburg J, Ramos-davila J-P, Zhang M, Sunshine J, Tanter E, Aldrich J