Publications

Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure

• • Gal Amram
  • Avi Hayoun
  • et al.
• 2022
• DISC 2022