Itp2024 Paper
Our paper “Modular Verification of Intrusive List and Tree Data Structures in Separation Logic “ got accepted to ITP 2024!
Found This Interesting?
Here are some more posts you might like to read next:
Our paper “Modular Verification of Intrusive List and Tree Data Structures in Separation Logic “ got accepted to ITP 2024!
Here are some more posts you might like to read next: